2348 search results - page 6 / 470 » Stochastic Mapping Frameworks |
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
ENTCS
2008
13 years 8 months ago
2008
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
ISER
2000
Springer
14 years 3 days ago
2000
Springer
Abstract: This paper presents a technique for incorporating delayed decision making into stochastic mapping algorithms for concurrent mapping and localization. The approach explici...