William S. Havens

31 papers A* 4A 5B 1Misc 1Journal 6Unranked 14
YearRankTypeTitle / Venue / Authors
2013 J jnl
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning
CoRR
Michael C. Horsch, William S. Havens
2008 B conf
Probabilistic Nogood Store as a Heuristic.
PRICAI
Andrei Missine, William S. Havens
2005 A conf
Extending Systematic Local Search for Job Shop Scheduling Problems.
CP
Bistra Dilkina, Lei Duan, William S. Havens
2005 — conf
Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem.
Canadian AI
Kun Wu, William S. Havens
2005 A conf
Optimal design in collaborative design network.
AAMAS
Y. Xiang, J. Chen, William S. Havens
2005 — conf
Queuing Local Solutions in Distributed Constraint Satisfaction Systems.
Canadian AI
Ronnie Mueller, William S. Havens
2004 — conf
A Hybrid Schema for Systematic Local Search.
Canadian AI
William S. Havens, Bistra N. Dilkina
2004 — conf
Histogram Arc Consistency as a Value Ordering Heuristic.
Canadian AI
Wei Liu, William S. Havens
2004 — conf
On Selection Strategies for the DPLL Algorithm.
Canadian AI
Morten Irgens, William S. Havens
2004 A* conf
The U.S. National Football League Scheduling Problem.
AAAI
Bistra N. Dilkina, William S. Havens
2002 Misc conf
Generalized Arc Consistency with Application to MaxCSP.
AI
Michael C. Horsch, William S. Havens, Aditya Ghose
2000 A conf
An Empirical Study of Probabilistic Arc Consistency.
CP
Michael C. Horsch, William S. Havens
2000 A conf
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning.
UAI
Michael C. Horsch, William S. Havens
1999 — conf
A Constraint Optimization Framework for MultiAgent Anytime Scheduling.
Australian Joint Conference on Artificial Intelligence
William S. Havens, Randy Goebel, Jean Berger, René Proulx
1999 — conf
An Examination of Probabilistic Value-Ordering Heuristics.
Australian Joint Conference on Artificial Intelligence
Matt Vernooy, William S. Havens
1997 — conf
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.
AAAI/IAAI
Daya Ram Gaur, W. Ken Jackson, William S. Havens
1997 — conf
Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems.
Australian Joint Conference on Artificial Intelligence
William S. Havens
1997 — conf
NoGood Caching for MultiAgent Backtrack Search.
AAAI Workshop: Constraints & Agents
William S. Havens
1996 J jnl
Nicolog: A Simple Yet Powerful cc(FD) Language.
J. Autom. Reason.
Greg Sidebottom, William S. Havens
1995 — conf
An Architecture for Building Multi-Agent Systems.
SCAI
William S. Havens, Daya Ram Gaur, Russell Ovans
1995 — conf
Committing to User Choices in Mixed Initiative CSPs.
SCAI
W. Ken Jackson, William S. Havens
1994 J jnl
A Constraint-Based Reasoning Framework for Behavioural Animation.
Comput. Graph. Forum
Sang Mah, Thomas W. Calvert, William S. Havens
1994 — conf
NSAIL PLAN: an experience with constraint-based reasoning in planning and animation.
CA
Sang Mah, Thomas W. Calvert, William S. Havens
1993 A conf
Intelligent mediation: an architecture for the real-time allocation of interface resources.
IUI
Russell Ovans, William S. Havens
1992 J jnl
Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming.
Comput. Intell.
Greg Sidebottom, William S. Havens
1989 A* conf
Platypus: A Constraint-Based Reasoning System.
IJCAI
William S. Havens, Paul Stephen Rehfuss
1989 — conf
The Playtypus Expert System Shell.
KBCS
William S. Havens
1988 J jnl
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.
IEEE Trans. Pattern Anal. Mach. Intell.
Jan A. Mulder, Alan K. Mackworth, William S. Havens
1983 J jnl
Representing Knowledge of the Visual World.
Computer
William S. Havens, Alan K. Mackworth
1981 A* conf
Structuring Domain Knowledge For Visual Perception.
IJCAI
Alan K. Mackworth, William S. Havens
1977 A* conf
A Procedural Model of Recognition.
IJCAI
William S. Havens