752 search results - page 71 / 151 » A Markov Chain Model Checker |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
A model for statistical ranking is a family of probability distributions whose states are orderings of a xed nite set of items. We represent the orderings as maximal chains in a ...
KDD
2004
ACM
14 years 2 months ago
2004
ACM
Mark-recapture models have for many years been used to estimate the unknown sizes of animal and bird populations. In this article we adapt a finite mixture mark-recapture model i...
FGR
2011
IEEE
13 years 7 days ago
2011
IEEE
— In many visual multi-object tracking applications, the question when to add or remove a target is not trivial due to, for example, erroneous outputs of object detectors or obse...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper presents a content-based approach for temporal segmentation of videos. Tracked objects are characterized by their 2D trajectories which are used in a meaningful way to ...