Exploiting automatically inferred constraint-models for building identification in satellite imagery

GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems

Volumn , Issue , 2007, Pages 35-42

  Michalowski, Martin ^a   Knoblock, Craig A ^a   Bayer, Ken ^b   Choueiry, Berthe Y ^a,b  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

geospatial data integration; knowledge discovery; modeling

Indexed keywords

CALIFORNIA; CONSTRAINT MODEL; CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT SOLVERS; END-TO-END PROCESS; GENERIC MODELS; GEOGRAPHIC AREAS; GEOSPATIAL DATA INTEGRATION; PROBLEM INSTANCES;

CONSTRAINT THEORY; GEOGRAPHIC INFORMATION SYSTEMS; INFORMATION SYSTEMS;

SATELLITE IMAGERY;

EID: 70449721065     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1341012.1341021     Document Type: Conference Paper

References (19)

1. P. Agouris, K. Beard, G. Mountrakis, and A. Stefanidis. Capturing and modeling geographic object change: A spatio-temporal gazeteer framework. Photogrammetric Engineering and Remote Sensing, 66(10):1224-1250, 2000.
2. P. Agouris and A. Stefanidis. Integration of photogrammetric and geographic databases. International Archives of Photogrammetry and Remote Sensing, ISPRS XVIIIth Congress, 31:24-29, 1996.
3. R. Bakshi, C. A. Knoblock, and S. Thakkar. Exploiting online sources to accurately geocode addresses. In Proceedings of the 12th ACM International Symposium on Advances in Geographic Information Systems (ACM-GIS'04), 2004.
4. K. M. Bayer, M. Michalowski, B. Y. Choueiry, and C. A. Knoblock. Reformulating csps for scalability with application to geospatial reasoning. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07), pages 164-179, 2007.
5. C. Bessière, R. Coletta, F. Koriche, and B. O'Sullivan. A sat-based version space algorithm for acquiring constraint satisfaction problems. In Proceedings of ECML'05, pages 23-34., Porto, Portugal, 2005.
6. C. Bessière, P. Meseguer, E. Freuder, and J. Larrosa. On forward checking for non-binary constraint satisfaction. In Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming (CP-99), pages 88-102, 1999.
7. C. Bessière, J. Quinqueton, and G. Raymond. Mining historical data to build constraint viewpoints. In Proceedings of CP-06 Workshop on Modelling and Reformulation, pages 1-16, 2006.
8. R. Coletta, C. Bessière, B. O'Sullivan, E. Freuder, S. O'Connell, and J. Quinqueton. Semi-automatic modeling by constraint acquisition. In Proceedings of CP-03, pages 111-124, 2003.
9. P. Doucette, P. Agouris, M. Musavi, and A. Stefanidis. Automated extraction of linear features from aerial imagery using kohonen learning and gis data. Lecture Notes in Computer Science, 1737:20-33, 1999.
10. E. Freuder. A sufficient condition for backtrack-free search. Journal of the ACM, 29(1):24-32, 1982.
11. M. Galley, J. Graehl, K. Knight, D. Marcu, S. DeNeefe, W. Wang, and I. Thayer. Scalable inference and training of context-rich syntactic translation models. In Proceedings of COLING/ACL2006, pages 961-968, 2006.
12. P. Kilby, J. Slaney, S. Thiébaux, and T. Walsh. Backbones and backdoors in satisfiability. In Proceedings of AAAI 2005, pages 1368-1373, 2005.
13. A. Levy. Logic-based techniques in data integration. In Logic Based Artificial Intelligence, pages 575-595. Kluwer Publishers, 2000.
14. M. L. Littman, G. A. Keim, and N. Shazeer. A probabilistic approach to solving crossword puzzles. Artificial Intelligence, 134(1-2):23-55, 2002. (Pubitemid 34086578)
15. M. Michalowski and C. A. Knoblock. A constraint satisfaction approach to geospatial reasoning. In Proceedings of AAAI-05, pages 423-429, 2005.
16. M. Michalowski, C. A. Knoblock, and B. Y. Choueiry. Exploiting problem data to enrich models of constraint problems. In Proceedings of the Sixth International Workshop on Constraint Modelling and Reformulation (ModRef'07), 2007.
17. F. J. Och and H. Ney. The alignment template approach to statistical machine translation. Computational Linguistics, 30(4):417-449, 2004. (Pubitemid 41399543)
18. P. Prosser. Mac-cbj: Maintaining arc consistency with conflict-directed backjumping. Technical Report 95/177, Univ. of Strathclyde, 1995.
19. P. van Beek and X. Chen. CPlan: A constraint programming approach to planning. In The Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 585-590, 1999.