Sciweavers

1306 search results - page 213 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
JELIA
2004
Springer
15 years 11 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
NMR
2004
Springer
15 years 11 months ago
A SAT-based polynomial space algorithm for answer set programming
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
ICRA
2003
IEEE
158views Robotics» more  ICRA 2003»
15 years 11 months ago
Probabilistic cooperative localization and mapping in practice
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
Ioannis M. Rekleitis, Gregory Dudek, Evangelos E. ...
SIGGRAPH
2003
ACM
15 years 11 months ago
Cloth motion capture
Recent years have seen an increased interest in motion capture systems. Current systems, however, are limited to only a few degrees of freedom, so that effectively only the motion...
David Pritchard, Wolfgang Heidrich
ICVS
2003
Springer
15 years 11 months ago
A Framework for Visual Servoing
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...
Danica Kragic, Henrik I. Christensen