Non-Homogeneous Haze Image Formation Model Based Single Image Dehazing | IEEE Conference Publication | IEEE Xplore