Sciweavers

18 search results - page 4 / 4
» Generating Model with Uncertainty by Means of JTL
Sort
View
AI
2008
Springer
13 years 5 months ago
Solving quantified constraint satisfaction problems
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
13 years 9 months ago
The parabigeminal nucleus as a recursive estimator
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
Rui Ma, Todd P. Coleman, Joseph G. Malpeli
CAEPIA
2005
Springer
13 years 10 months ago
Mapping Conformant Planning into SAT Through Compilation and Projection
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
Héctor Palacios, Hector Geffner