Sciweavers

4973 search results - page 106 / 995
» Probabilistic Algorithms in Robotics
Sort
View
LFCS
2009
Springer
15 years 11 months ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus
ECAI
1998
Springer
15 years 8 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
TCS
2010
14 years 11 months ago
Weak bisimulation for Probabilistic Timed Automata
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
IROS
2009
IEEE
136views Robotics» more  IROS 2009»
15 years 11 months ago
Integrating asynchronous observations for mobile robot position tracking in cooperative environments
— This paper presents an asynchronous particle filter algorithm for mobile robot position tracking, taking into account time considerations when integrating observations being d...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...
ICRA
2008
IEEE
124views Robotics» more  ICRA 2008»
15 years 11 months ago
Simultaneous learning of motion and sensor model parameters for mobile robots
— Motion and sensor models are crucial components in current algorithms for mobile robot localization and mapping. These models are typically provided and hand-tuned by a human o...
Teddy N. Yap Jr., Christian R. Shelton