Urban digital map updating from satellite high resolution images using GIS data as a priori knowledge | IEEE Conference Publication | IEEE Xplore