William S. Havens

	2008
28		Andrei Missine, William S. Havens: Probabilistic Nogood Store as a Heuristic. PRICAI 2008: 768-777
	2005
27		Y. Xiang, J. Chen, William S. Havens: Optimal design in collaborative design network. AAMAS 2005: 241-248
26		Bistra N. Dilkina, Lei Duan, William S. Havens: Extending Systematic Local Search for Job Shop Scheduling Problems. CP 2005: 762-766
25		Ronnie Mueller, William S. Havens: Queuing Local Solutions in Distributed Constraint Satisfaction Systems. Canadian Conference on AI 2005: 103-107
24		Kun Wu, William S. Havens: Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem. Canadian Conference on AI 2005: 79-90
	2004
23		Bistra N. Dilkina, William S. Havens: The U.S. National Football League Scheduling Problem. AAAI 2004: 814-819
22		William S. Havens, Bistra N. Dilkina: A Hybrid Schema for Systematic Local Search. Canadian Conference on AI 2004: 248-260
21		Morten Irgens, William S. Havens: On Selection Strategies for the DPLL Algorithm. Canadian Conference on AI 2004: 277-291
20		Wei Liu, William S. Havens: Histogram Arc Consistency as a Value Ordering Heuristic. Canadian Conference on AI 2004: 510-516
	2002
19		Michael C. Horsch, William S. Havens, Aditya Ghose: Generalized Arc Consistency with Application to MaxCSP. Canadian Conference on AI 2002: 104-118
	2000
18		Michael C. Horsch, William S. Havens: An Empirical Study of Probabilistic Arc Consistency. CP 2000: 525-530
17		Michael C. Horsch, William S. Havens: Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. UAI 2000: 282-290
	1999
16		Matt Vernooy, William S. Havens: An Examination of Probabilistic Value-Ordering Heuristics. Australian Joint Conference on Artificial Intelligence 1999: 340-352
15		William S. Havens, Randy Goebel, Jean Berger, René Proulx: A Constraint Optimization Framework for MultiAgent Anytime Scheduling. Australian Joint Conference on Artificial Intelligence 1999: 480-481
	1997
14		Daya Ram Gaur, W. Ken Jackson, William S. Havens: Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. AAAI/IAAI 1997: 215
13		William S. Havens: Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. Australian Joint Conference on Artificial Intelligence 1997: 37-46
	1996
12		Greg Sidebottom, William S. Havens: Nicolog: A Simple Yet Powerful cc(FD) Language. J. Autom. Reasoning 17(3): 371-403 (1996)
	1995
11		W. Ken Jackson, William S. Havens: Committing to User Choices in Mixed Initiative CSPs. SCAI 1995: 239-248
10		William S. Havens, Daya Ram Gaur, Russell Ovans: An Architecture for Building Multi-Agent Systems. SCAI 1995: 416-420
	1994
9		Sang Mah, Thomas W. Calvert, William S. Havens: A Constraint-Based Reasoning Framework for Behavioural Animation. Comput. Graph. Forum 13(5): 315-324 (1994)
	1993
8		Russell Ovans, William S. Havens: Intelligent mediation: an architecture for the real-time allocation of interface resources. IUI 1993: 55-61
	1992
7		Greg Sidebottom, William S. Havens: Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. Computational Intelligence 8: 601-623 (1992)
	1989
6		William S. Havens, Paul Stephen Rehfuss: Platypus: A Constraint-Based Reasoning System. IJCAI 1989: 48-53
5		William S. Havens: The Playtypus Expert System Shell. KBCS 1989: 105-119
	1988
4		Jan A. Mulder, Alan K. Mackworth, William S. Havens: Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. IEEE Trans. Pattern Anal. Mach. Intell. 10(6): 866-879 (1988)
	1983
3		William S. Havens, Alan K. Mackworth: Representing Knowledge of the Visual World. IEEE Computer 16(10): 90-96 (1983)
	1981
2		Alan K. Mackworth, William S. Havens: Structuring Domain Knowledge For Visual Perception. IJCAI 1981: 625-627
	1977
1		William S. Havens: A Procedural Model of Recognition. IJCAI 1977: 264

Coauthor Index

1	Jean Berger	[15]
2	Thomas W. Calvert (Tom Calvert)	[9]
3	J. Chen	[27]
4	Bistra N. Dilkina	[22] [23] [26]
5	Lei Duan	[26]
6	Daya Ram Gaur	[10] [14]
7	Aditya K. Ghose (Aditya Ghose)	[19]
8	Randy Goebel	[15]
9	Michael C. Horsch	[17] [18] [19]
10	Morten Irgens	[21]
11	W. Ken Jackson	[11] [14]
12	Wei Liu	[20]
13	Alan K. Mackworth	[2] [3] [4]
14	Sang Mah	[9]
15	Andrei Missine	[28]
16	Ronnie Mueller	[25]
17	Jan A. Mulder	[4]
18	Russell Ovans	[8] [10]
19	René Proulx	[15]
20	Paul Stephen Rehfuss	[6]
21	Greg Sidebottom	[7] [12]
22	Matt Vernooy	[16]
23	Kun Wu	[24]
24	Y. Xiang	[27]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page