3166 search results - page 217 / 634 » Translation By Structural Correspondences |
170
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
148
click to vote
SAM
2000
15 years 8 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
266
Voted
PR
2007
15 years 6 months ago
2007
We present a shape representation and a matching method for nonrigid shapes with closed contours. The representation utilizes the areas of the triangles formed by the boundary poi...
197
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Despite much research on patch-based descriptors, SIFT remains the gold standard for finding correspondences across images and recent descriptors focus primarily on improving spe...
153
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we propose to transform an image descriptor so that nearest neighbor (NN) search for correspondences becomes the optimal matching strategy under the assumption that ...