William S. Havens

According to our database, William S. Havens authored at least 30 papers between 1977 and 2008.

Collaborative distances:

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

2008

Probabilistic Nogood Store as a Heuristic.

Andrei Missine, William S. Havens

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

2005

Extending Systematic Local Search for Job Shop Scheduling Problems.

Bistra Dilkina, Lei Duan, William S. Havens

Proceedings of the Principles and Practice of Constraint Programming, 2005

Optimal design in collaborative design network.

Y. Xiang, J. Chen, William S. Havens

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem.

Kun Wu, William S. Havens

Proceedings of the Advances in Artificial Intelligence, 2005

Queuing Local Solutions in Distributed Constraint Satisfaction Systems.

Ronnie Mueller, William S. Havens

Proceedings of the Advances in Artificial Intelligence, 2005

2004

Histogram Arc Consistency as a Value Ordering Heuristic.

Wei Liu, William S. Havens

Proceedings of the Advances in Artificial Intelligence, 2004

On Selection Strategies for the DPLL Algorithm.

Morten Irgens, William S. Havens

Proceedings of the Advances in Artificial Intelligence, 2004

A Hybrid Schema for Systematic Local Search.

William S. Havens, Bistra N. Dilkina

Proceedings of the Advances in Artificial Intelligence, 2004

The U.S. National Football League Scheduling Problem.

Bistra N. Dilkina, William S. Havens

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002

Generalized Arc Consistency with Application to MaxCSP.

Michael C. Horsch, William S. Havens, Aditya Ghose

Proceedings of the Advances in Artificial Intelligence, 2002

2000

Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning.

Michael C. Horsch, William S. Havens

Proceedings of the UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30, 2000

An Empirical Study of Probabilistic Arc Consistency.

Michael C. Horsch, William S. Havens

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

An Examination of Probabilistic Value-Ordering Heuristics.

Matt Vernooy, William S. Havens

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

A Constraint Optimization Framework for MultiAgent Anytime Scheduling.

William S. Havens, Randy Goebel, Jean Berger, René Proulx

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1997

Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems.

William S. Havens

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

NoGood Caching for MultiAgent Backtrack Search.

William S. Havens

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.

Daya Ram Gaur, W. Ken Jackson, William S. Havens

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Nicolog: A Simple Yet Powerful cc(FD) Language.

Greg Sidebottom, William S. Havens

J. Autom. Reason., 1996

1995

Committing to User Choices in Mixed Initiative CSPs.

W. Ken Jackson, William S. Havens

Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

An Architecture for Building Multi-Agent Systems.

William S. Havens, Daya Ram Gaur, Russell Ovans

Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

1994

A Constraint-Based Reasoning Framework for Behavioural Animation.

Sang Mah, Thomas W. Calvert, William S. Havens

Comput. Graph. Forum, 1994

NSAIL PLAN: an experience with constraint-based reasoning in planning and animation.

Sang Mah, Thomas W. Calvert, William S. Havens

Proceedings of the Computer Animation 1994, 1994

1993

Intelligent mediation: an architecture for the real-time allocation of interface resources.

Russell Ovans, William S. Havens

Proceedings of the 1st International Workshop on Intelligent User Interfaces, 1993

1992

Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming.

Greg Sidebottom, William S. Havens

Comput. Intell., 1992

1989

The Playtypus Expert System Shell.

William S. Havens

Proceedings of the Knowledge Based Computer Systems, 1989

Platypus: A Constraint-Based Reasoning System.

William S. Havens, Paul Stephen Rehfuss

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.

Jan A. Mulder, Alan K. Mackworth, William S. Havens

IEEE Trans. Pattern Anal. Mach. Intell., 1988

1983

Representing Knowledge of the Visual World.

William S. Havens, Alan K. Mackworth

Computer, 1983

1981

Structuring Domain Knowledge For Visual Perception.

Alan K. Mackworth, William S. Havens

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1977

A Procedural Model of Recognition.

William S. Havens

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977