1696 search results - page 301 / 340 » Permuted function matching |
104
click to vote
PLDI
2011
ACM
14 years 25 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
125
click to vote
3DIM
2011
IEEE
13 years 10 months ago
2011
IEEE
—Keypoints on 3D surfaces are points that can be extracted repeatably over a wide range of 3D imaging conditions. They are used in many 3D shape processing applications; for exam...
117
click to vote
3DIM
2011
IEEE
13 years 10 months ago
2011
IEEE
—Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two-step process where an initial coarse motion estimation is ...
121
click to vote
PAMI
2012
13 years 13 days ago
2012
Abstract—Given the size and confidence of pairwise local orderings, angular embedding (AE) finds a global ordering with a nearglobal optimal eigensolution. As a quadratic crite...
104
click to vote
CVPR
2012
IEEE
13 years 13 days ago
2012
IEEE
Bottom-up, fully unsupervised segmentation remains a daunting challenge for computer vision. In the cosegmentation context, on the other hand, the availability of multiple images ...