Sciweavers

443 search results - page 47 / 89
» Updating probabilistic XML
Sort
View
ISER
1999
Springer
114views Robotics» more  ISER 1999»
15 years 6 months ago
Continuous Probabilistic Mapping by Autonomous Robots
In this paper, we present a new approach for continuous probabilistic mapping. The objective is to build metric maps of unknown environments through cooperation between multiple au...
Jesús Salido Tercero, Christiaan J. J. Pare...
CORR
2010
Springer
79views Education» more  CORR 2010»
14 years 10 months ago
Probabilistic cellular automata, invariant measures, and perfect sampling
In a probabilistic cellular automaton (PCA), the cells are updated synchronously and independently, according to a distribution depending on a finite neighborhood. A PCA can be vi...
Ana Busic, Jean Mairesse, Irene Marcovici
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
15 years 3 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
15 years 8 months ago
Probabilistic search optimization and mission assignment for heterogeneous autonomous agents
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
Timothy H. Chung, Moshe Kress, Johannes O. Royset
ICRA
2008
IEEE
160views Robotics» more  ICRA 2008»
15 years 8 months ago
Probabilistic localization with a blind robot
Abstract— Researchers have addressed the localization problem for mobile robots using many different kinds of sensors, including rangefinders, cameras, and odometers. In this pa...
Lawrence H. Erickson, Joseph Knuth, Jason M. O'Kan...