81 search results - page 5 / 17 » PARAM: A Model Checker for Parametric Markov Models |
114
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
113
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
Parameter estimation is a key computational issue in all statistical image modeling techniques. In this paper, we explore a computationally efficient parameter estimation algorith...
113
click to vote
ICPR
2000
IEEE
16 years 2 months ago
2000
IEEE
Speech can be represented as a time/frequency distribution of energy using a multi-band filter bank. A Markov random field model, which takes into account the possible time asynch...
CSDA
2007
15 years 1 months ago
2007
A parametric, continuous-time Markov model for digraph panel data is considered. The parameter is estimated by the method of moments. A convenient method for estimating the varian...