Sciweavers

2116 search results - page 292 / 424
» On Probabilistic Alternating Simulations
Sort
View
RAS
2008
84views more  RAS 2008»
15 years 3 months ago
Monitoring the execution of robot plans using semantic knowledge
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
INFFUS
2010
121views more  INFFUS 2010»
15 years 2 months ago
The statistical mechanics of belief sharing in multi-agent systems
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
Robin Glinton, Katia P. Sycara, David Scerri, Paul...
RAS
2008
136views more  RAS 2008»
15 years 2 months ago
Action evaluation for mobile robot global localization in cooperative environments
This work is about solving the global localization issue for mobile robots operating in large and cooperative environments. It tackles the problem of estimating the pose of a robo...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...
ISOLA
2010
Springer
15 years 2 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
MA
2010
Springer
104views Communications» more  MA 2010»
15 years 2 months ago
Representations of SO(3) and angular polyspectra
We characterize the angular polyspectra, of arbitrary order, associated with isotropic fields defined on the sphere S2 = (x, y, z) : x2 + y2 + z2 = 1 . Our techniques rely heavi...
D. Marinucci, G. Peccati