384 search results - page 43 / 77 » On the Semantics of Markov Automata |
82
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
109
click to vote
CIVR
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a content-based approach for understanding handball videos. Tracked players are characterized by their 2D trajectories in the court plane. The trajectories and...
116
click to vote
NIPS
1993
15 years 3 months ago
1993
We propose a learning algorithm for a variable memory length Markov process. Human communication, whether given as text, handwriting, or speech, has multi characteristic time scal...
144
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
In this paper, a Random Field Topic (RFT) model is proposed for semantic region analysis from motions of objects in crowded scenes. Different from existing approaches of learning ...
106
click to vote
PACT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...