752 search results - page 131 / 151 » A Markov Chain Model Checker |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
ICGI
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we extend the PAC learning algorithm due to Clark and Thollard for learning distributions generated by PDFA to automata whose transitions may take varying time length...
FLAIRS
2009
13 years 6 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper addresses real-time automatic visual tracking,
labeling and classification of a variable number of
objects such as pedestrians or/and vehicles, under timevarying
illu...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we focus on the design of Markov Chain Monte Carlo techniques in a statistical registration framework based on finite element basis (FE). Due to the use of FE basis...