Sciweavers

80 search results - page 13 / 16
» Qualitative Spatial Reasoning about Sketch Maps
Sort
View
KI
2005
Springer
14 years 1 months ago
Dependency Calculus: Reasoning in a General Point Relation Algebra
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
Marco Ragni, Alexander Scivos
MMAS
2004
Springer
14 years 29 days ago
Virtual Space Ontologies for Scripting Agents
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
Zhiqiang Gao, Liqun Ren, Yuzhong Qu, Toru Ishida
RAS
2008
149views more  RAS 2008»
13 years 7 months ago
Robot task planning using semantic maps
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
Cipriano Galindo, Juan-Antonio Fernandez-Madrigal,...
KI
2010
Springer
13 years 6 months ago
Positions, Regions, and Clusters: Strata of Granularity in Location Modelling
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
Hedda Rahel Schmidtke, Michael Beigl
ICRA
2000
IEEE
103views Robotics» more  ICRA 2000»
14 years 10 hour ago
Invariant Filtering for Simultaneous Localization and Mapping
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
Matthew Deans, Martial Hebert