Kenneth M. Bayer

According to our database, Kenneth M. Bayer authored at least 5 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Reformulating Constraint Satisfaction Problems to Improve Scalability.

Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock

Proceedings of the Abstraction, 2007

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

Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry

Proceedings of the 15th ACM International Symposium on Geographic Information Systems, 2007

Reformulating CSPs for Scalability with Application to Geospatial Reasoning.

Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock

Proceedings of the Principles and Practice of Constraint Programming, 2007

An Interactive Constraint-Based Approach to Sudoku.

Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

An Interactive Constraint-Based Approach to Minesweeper.

Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry

Proceedings of the Proceedings, 2006