7393 search results - page 336 / 1479 » Synthesis-for-testability using transformations |
148
click to vote
SFP
2003
15 years 6 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
115
click to vote
EJC
2006
15 years 4 months ago
2006
: Two transformations are constructed that map the permutation group onto a well-defined subset of a partially commutative monoid generated by the so-called oiseaux. Those transfor...
104
Voted
IVC
1998
15 years 4 months ago
1998
This paper discusses an extension to the inverse perspective mapping geometrical transform to the processing of stereo images and presents the calibration method used on the ARGO ...
150
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
A key step for the effective use of local image features (i.e., highly distinctive and robust features) for recognition or image matching is the appropriate grouping of feature ma...
124
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a framework for computing optimal transformations, aligning one point set to another, in the presence of outliers. Example applications include shape matching and regis...