9 search results - page 1 / 2 » AI at 50: From Programs to Solvers - Models and Techniques f... |
AI
2007
Springer
13 years 5 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
FLAIRS
2004
13 years 6 months ago
2004
This paper present highlights of the results of a survey of instructors of the introductory Artificial Intelligence course at colleges and universities throughout the United State...
SAS
1992
Springer
13 years 9 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
CP
2003
Springer
13 years 10 months ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...