A grammatical framework for building rooftop extraction | IEEE Conference Publication | IEEE Xplore