Machine Detection of Martian Impact Craters From Digital Topography Data | IEEE Journals & Magazine | IEEE Xplore