2116 search results - page 2 / 424 » On Probabilistic Alternating Simulations |
WSC
2008
13 years 8 months ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...
QEST
2007
IEEE
14 years 16 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
IM
2003
13 years 7 months ago
2003
Abstract: A probabilistic event-driven fault localization technique is presented, which uses a symptom-fault map as a fault propagation model. The technique isolates the most proba...
ICPR
2008
IEEE
14 years 21 days ago
2008
IEEE
Finding correspondences of two images taken from largely different camera configuration is a challenging problem because appearance information such as color, intensity and edge o...
FORMATS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...