5216 search results - page 968 / 1044 » Planning as Model Checking |
PRICAI
2004
Springer
15 years 4 months ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
114
click to vote
W2GIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
ADC
2003
Springer
15 years 4 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
113
click to vote
ICVS
2001
Springer
15 years 3 months ago
2001
Springer
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
AGENTS
1998
Springer
15 years 3 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...