408 search results - page 28 / 82 » Control-driven mapping and planning |
GIS
2009
ACM
14 years 11 months ago
2009
ACM
This paper presents a method for automatically converting raw GPS traces from everyday vehicles into a routable road network. The method begins by smoothing raw GPS traces using a...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— The need for reliable maps of subterranean spaces too hazardous for humans to occupy has motivated the use of robotic technology as mapping tools. As such, we present a systemi...
AIPS
2004
13 years 11 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
AUSAI
2004
Springer
14 years 3 months ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...