Sciweavers

7393 search results - page 437 / 1479
» Synthesis-for-testability using transformations
Sort
View
162
Voted
ICCV
2001
IEEE
16 years 8 months ago
Calibration with Robust Use of Cheirality by Quasi-Affine Reconstruction of the Set of Camera Projection Centres
A methodfor upgrading a projective reconstruction to metric is presented. The reconstruction is first transformed by considering cheirality so that the convex hull of the set of c...
David Nistér
168
Voted
ICPR
2006
IEEE
16 years 7 months ago
Matching Interest Points Using Affine Invariant Concentric Circles
We present a new method to perform reliable matching between different images. This method finds complete region correspondences between concentric circles and the corresponding p...
Han-Pang Chiu, Tomás Lozano-Pérez
ICPR
2004
IEEE
16 years 7 months ago
Probabilistic Object Tracking Using Multiple Features
We present a generic tracker which can handle a variety of different objects. For this purpose, groups of low-level features like interest points, edges, homogeneous and textured ...
David Serby, Esther Koller-Meier, Luc J. Van Gool
DAC
2008
ACM
16 years 7 months ago
Predictive design space exploration using genetically programmed response surfaces
Exponential increases in architectural design complexity threaten to make traditional processor design optimization techniques intractable. Genetically programmed response surface...
Henry Cook, Kevin Skadron
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
16 years 3 months ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...