752 search results - page 19 / 151 » A Markov Chain Model Checker |
SOFTWARE
2002
13 years 8 months ago
2002
The large number of Web pages on many Web sites has raised navigational problems. Markov chains have recently been used to model user navigational behavior on the World Wide Web (W...
TSP
2008
13 years 8 months ago
2008
Parameter estimation of a continuous-time Markov chain observed through a discrete-time memoryless channel is studied. An expectation-maximization (EM) algorithm for maximum likeli...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...
MOR
2006
13 years 8 months ago
2006
We consider a two-player zero-sum game given by a Markov chain over a finite set of states K and a family of zero-sum matrix games (Gk)kK. The sequence of states follows the Marko...