1729 search results - page 223 / 346 » Simplifying the Development of Intelligent Agents |
AAAI
2006
13 years 11 months ago
2006
The scalability of graph-search algorithms can be greatly extended by using external memory, such as disk, to store generated nodes. We consider structured duplicate detection, an...
AAAI
2000
13 years 11 months ago
2000
Contour integration in low-level vision is believed to occur based on lateral interaction between neurons with similar orientation tuning. The exact neural mechanisms underlying s...
AAAI
2000
13 years 11 months ago
2000
Self-localisation is an essential competence for mobile robot navigation. Due to the fundamental unreliability of dead reckoning, a robot must depend on its perception of external...
AAAI
2000
13 years 11 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
AAAI
2000
13 years 11 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...