2312 search results - page 168 / 463 » Invariance in Property Testing |
211
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
168
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
162
click to vote
NAACL
2004
15 years 7 months ago
2004
The field of Psychometrics routinely grapples with the question of what it means to measure the inherent ability of an organism to perform a given task, and for the last forty yea...
176
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
170
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a new approach to appearance-based object recognition, which captures the relationships between multiple model views and exploits them to improve recognition performanc...