An Efficient Cascaded Model for Ship Segmentation in Aerial Images | IEEE Journals & Magazine | IEEE Xplore