Underwater Image Dehazing via Red-Channel Recovery | IEEE Conference Publication | IEEE Xplore