2272 search results - page 242 / 455 » Validity Invariants and Effects |
121
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper addresses the problem of recovering 3D human pose from a single monocular image, using a discriminative bag-of-words approach. In previous work, the visual words are le...
122
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Matching of high-dimensional features using nearest neighbors search is an important part of image matching methods which are based on local invariant features. In this work we hi...
132
click to vote
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Developing effective content recognition methods for diverse imagery continues to challenge computer vision researchers. We present a new approach for document image content catego...
138
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
204
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...