752 search results - page 24 / 151 » A Markov Chain Model Checker |
162
click to vote
SSDBM
2006
IEEE
15 years 11 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
134
click to vote
UAI
2008
15 years 6 months ago
2008
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...
142
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
135
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
138
click to vote
BMVC
2001
15 years 7 months ago
2001
This paper describes a spectral method for graph-matching. We adopt a graphical models viewpoint in which the graph adjacency matrix is taken to represent the transition probabili...