Sciweavers

13827 search results - page 46 / 2766
» The state of artificial intelligence
Sort
View
CP
2009
Springer
14 years 9 months ago
Maintaining State in Propagation Solvers
Abstract. Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver state is modified during propagation. But...
Raphael M. Reischuk, Christian Schulte, Peter J. S...
ISMVL
2008
IEEE
111views Hardware» more  ISMVL 2008»
14 years 3 months ago
Multiple Valued Logic Using 3-State Quantum Dot Gate FETs
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
John A. Chandy, Faquir C. Jain
ECAI
2010
Springer
13 years 9 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
PRIMA
2009
Springer
14 years 3 months ago
Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
Fiemke Both, Mark Hoogendoorn, S. Waqar Jaffry, Ri...