Building extraction in urban areas from satellite images using GIS data as prior information | IEEE Conference Publication | IEEE Xplore