CR-former: Single-Image Cloud Removal With Focused Taylor Attention | IEEE Journals & Magazine | IEEE Xplore