Sciweavers

4597 search results - page 764 / 920
» The Spider Model of Agents
Sort
View
AAAI
2008
13 years 10 months ago
Computing Minimal Diagnoses by Greedy Stochastic Search
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
AAAI
2007
13 years 10 months ago
A Vision-Based System for a UGV to Handle a Road Intersection
We propose a real-time computer vision system that enables a UGV to safely cross urban road-intersections. Specifically, when the UGV approaches the stop sign at a 4-way intersec...
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harp...
AAAI
2007
13 years 10 months ago
Spatial Representation and Reasoning for Human-Robot Collaboration
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
William G. Kennedy, Magdalena D. Bugajska, Matthew...
AAAI
2008
13 years 10 months ago
Reasoning with Cardinal Directions: An Efficient Algorithm
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingshen...
AAAI
2007
13 years 10 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz