3491 search results - page 75 / 699 » Cascaded Markov Models |
165
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
155
click to vote
ICCV
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
160
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents an event detector for emergencies in crowds. Assuming a single camera and a dense crowd we rely on optical flow instead of tracking statistics as a feature to ...
157
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...
164
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Video based analysis of a persons' mood or behavior is in general performed by interpreting various features observed on the body. Facial actions, such as speaking, yawning o...