4926 search results - page 525 / 986 » Two Graph Algorithms On an Associative Computing Model |
164
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
A simple seed growing algorithm for estimating scene flow in a stereo setup is presented. Two calibrated and synchronized cameras observe a scene and output a sequence of image p...
148
Voted
PEPM
2010
ACM
16 years 11 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
182
Voted
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We investigate how to discover all common visual patterns within two sets of feature points. Common visual patterns generally share similar local features as well as similar spati...
153
Voted
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositiona...
128
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...