2312 search results - page 168 / 463 » Invariance in Property Testing |
177
click to vote
TACAS
2012
Springer
14 years 1 hour 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...
132
click to vote
ICPR
2008
IEEE
16 years 5 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...
126
click to vote
NAACL
2004
15 years 5 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...
137
click to vote
CONCUR
2006
Springer
15 years 8 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...
134
click to vote
CVPR
2004
IEEE
16 years 6 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...