Ai-Based Building Instance Segmentation in Formal and Informal Settlements | IEEE Conference Publication | IEEE Xplore