227 search results - page 6 / 46 » Modeling the Temporal Extent of Actions |
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we address the problem of representing human actions using visual cues for the purpose of learning and recognition. Traditional approaches model actions as space-ti...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Segmentation of individual actions from a stream of human motion is an open problem in computer vision. This paper approaches the problem of segmenting higher-level activities int...
BMVC
2002
14 years 12 months ago
2002
We consider the problem of learning how a person's face behaves in a long video sequence, with the aim of synthesising convincing sequences demonstrating the same behaviours....
AIPS
2000
14 years 11 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...