Sciweavers

5170 search results - page 384 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
JAR
2007
90views more  JAR 2007»
15 years 6 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
208
Voted
CONCURRENCY
2000
103views more  CONCURRENCY 2000»
15 years 6 months ago
Cooperating distributed garbage collectors for clusters and beyond
The contribution of this paper is twofold. First a distributed garbage collector (DGC) is presented that is optimized for remote method invocation in reliable networks, such as cu...
Michael Philippsen
161
Voted
CGF
1999
70views more  CGF 1999»
15 years 6 months ago
Modelling and Rendering Graphics Scenes Composed of Multiple Volumetric Datasets
This paper presents a method for modelling graphics scenes consisting of multiple volumetric objects. A twolevel hierarchical representation is employed, which enables the reducti...
Adrian Leu, Min Chen
JUCS
2002
89views more  JUCS 2002»
15 years 6 months ago
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
Hartmut Surmann, Antonio Morales
RSA
1998
53views more  RSA 1998»
15 years 6 months ago
Recursive reconstruction on periodic trees
A periodic tree Tn consists of full n-level copies of a finite tree T. The tree Tn is labeled by random bits. The root label is chosen randomly, and the probability of two adjace...
Elchanan Mossel