7393 search results - page 1144 / 1479 » Synthesis-for-testability using transformations |
145
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a novel algorithm for computing the relative motion between images from compressed linear measurements. We propose a geometry based correlation model that desc...
153
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
We present a method for nonrigid registration of 2-D geometric shapes. Our contribution is twofold. First, we extend the classic chamfer-matching energy to a variational functional...
137
click to vote
ACTA
2010
15 years 4 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
140
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: A good scoring function is essential for molecular docking computations. In conventional scoring functions, energy terms modeling pairwise interactions are cumulativel...
140
click to vote
CGF
2008
15 years 4 months ago
2008
The viewfinder of a digital camera has traditionally been used for one purpose: to display to the user a preview of what is seen through the camera's lens. High quality camer...