415 search results - page 26 / 83 » Stochastic skyline operator |
JNW
2006
13 years 9 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
AAAI
1994
13 years 11 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
JSCIC
2008
13 years 9 months ago
2008
In this article we discuss recent work on coarse-graining methods for microscopic stochastic lattice systems. We emphasize the numerical analysis of the schemes, focusing on error ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...