A Large-Scale Dataset for Water Segmentation of SAR Satellite | IEEE Conference Publication | IEEE Xplore