50 search results - page 6 / 10 » Modelling Models of Robot Navigation Using Formal Spatial On... |
HT
1998
ACM
14 years 3 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...
ETFA
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a novel algorithm for 3D depth estimation using a particle filter (PFDE - Particle Filter Depth Estimation) in a monocular vSLAM (Visual Simultaneous Localiza...
ER
2007
Springer
14 years 5 months ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...