7167 search results - page 54 / 1434 » A Technique for Invariant Generation |
156
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
187
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
The paper introduces an action recognition framework that uses concepts from the theory of chaotic systems to model and analyze nonlinear dynamics of human actions. Trajectories o...
145
click to vote
APN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
175
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a human action clustering method based on a 3D representation of the body in terms of volumetric coordinates. Features representing body postures are extracted directly...
201
click to vote
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
Pose and illumination changes from picture to picture are two main barriers toward full automatic face recognition. In this paper, a novel method to handle both pose and lighting c...