Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Building detection and description from a single intensity image
Computer Vision and Image Understanding
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A probabilistic approach to solving crossword puzzles
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
Constraint Processing
Exploiting online sources to accurately geocode addresses
Proceedings of the 12th annual ACM international workshop on Geographic information systems
Exploiting automatically inferred constraint-models for building identification in satellite imagery
Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
A generalized query framework for geospatial reasoning
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating constraint models using input data
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Finding the farm: postal address-based building clustering
Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications
Exploiting semantics of web services for geospatial data fusion
Proceedings of the 1st ACM SIGSPATIAL International Workshop on Spatial Semantics and Ontologies
Hi-index | 0.00 |
The large number of data sources on the Internet can be used to augment and verify the accuracy of geospatial sources, such as gazetteers and annotated satellite imagery. Data sources such as satellite imagery, maps, gazetteers and vector data have been traditionally used in geographic infonnation systems (GIS), but nontraditional geospatial data, such as online phone books and property records are more difficult to relate to imagery. In this paper, we present a novel approach to combining extracted information from imagery, road vector data, and online data sources. We represent the problem of identifying buildings in satellite images as a constraint satisfing problem (CSP) and use constraint programming to solve it. We apply this technique to real-world data sources in EI Segundo, CA and our experimental evaluation shows how this approach can accurately identify buildings when provided with both traditional and nontraditional data sources.