752 search results - page 49 / 151 » A Markov Chain Model Checker |
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a new algorithm for the recognition of human activities. These activities are modelled using banks of switched dynamical models, each of which is tailored to ...
JMLR
2010
13 years 3 months ago
2010
We propose a fully Bayesian approach for generalized kernel models (GKMs), which are extensions of generalized linear models in the feature space induced by a reproducing kernel. ...
TR
2011
13 years 3 months ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
ITNG
2008
IEEE
14 years 3 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
ISCC
2008
IEEE
14 years 3 months ago
2008
IEEE
The present paper presents a Markov Chain model of polling in noisy multi-hop systems typical of Power Line Communications (PLC) as well as of other systems. The model includes the...