Extraction of Topographic Map Elements with SAR Stereoscopic Measurement | IEEE Conference Publication | IEEE Xplore