868 search results - page 111 / 174 » Unification of Temporal Data Models |
129
click to vote
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
85
Voted
ERLANG
2006
ACM
15 years 6 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
95
Voted
UAI
2003
15 years 2 months ago
2003
In this paper we present a family of models and learning algorithms that can simultaneously align and cluster sets of multidimensional curves measured on a discrete time grid. Our...
134
Voted
CVPR
2011
IEEE
14 years 8 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 ...
130
click to vote
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...