The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William S. Havens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  28. Probabilistic Nogood Store as a Heuristic. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002