A constraint-based system for interpretation of aerial imagery | IEEE Conference Publication | IEEE Xplore