Sciweavers

4962 search results - page 378 / 993
» Stochastic Model Checking
Sort
View
145
Voted
AAAI
2008
15 years 6 months ago
Towards Faster Planning with Continuous Resources in Stochastic Domains
Agents often have to construct plans that obey resource limits for continuous resources whose consumption can only be characterized by probability distributions. While Markov Deci...
Janusz Marecki, Milind Tambe
SODA
2008
ACM
97views Algorithms» more  SODA 2008»
15 years 5 months ago
Stochastic analyses for online combinatorial optimization problems
In this paper, we study online algorithms when the input is not chosen adversarially, but consists of draws from some given probability distribution. While this model has been stu...
Naveen Garg, Anupam Gupta, Stefano Leonardi, Piotr...
132
Voted
AAAI
1992
15 years 4 months ago
Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. ...
DAM
2008
88views more  DAM 2008»
15 years 3 months ago
Stochastic applications of media theory: Random walks on weak orders or partial orders
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
Jean-Claude Falmagne, Yung-Fong Hsu, Fabio Leite, ...
105
Voted
SIAMCO
2000
71views more  SIAMCO 2000»
15 years 3 months ago
On a Perturbation Approach for the Analysis of Stochastic Tracking Algorithms
In this paper, a perturbation expansion technique is introduced to decompose the tracking error of a general adaptive tracking algorithm in a linear regression model. This method ...
Rafik Aguech, Eric Moulines, Pierre Priouret