1120 search results - page 23 / 224 » Eager Markov Chains |
107
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
115
click to vote
ICDAR
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
102
click to vote
MMB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
102
click to vote
IOR
2008
14 years 11 months ago
2008
We introduce and study a randomized quasi-Monte Carlo method for estimating the state distribution at each step of a Markov chain. The number of steps in the chain can be random an...