Sciweavers

4107 search results - page 302 / 822
» The Generalized Lambda Test
Sort
View
ICCAD
1994
IEEE
131views Hardware» more  ICCAD 1994»
15 years 11 months ago
Edge-map: optimal performance driven technology mapping for iterative LUT based FPGA designs
We consider the problem of performance driven lookup-table (LUT) based technology mapping for FPGAs using a general delay model. In the general delay model, each interconnection e...
Hannah Honghua Yang, D. F. Wong
193
Voted
EMSOFT
2011
Springer
14 years 6 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CVPR
1996
IEEE
16 years 8 months ago
Epipolar Geometry and Linear Subspace Methods: A New Approach to Weak Calibration
This paper addresses the problem of estimating the epipolar geometry from point correspondences between two images taken by uncalibrated perspective cameras. It is shown that Jeps...
Jean Ponce, Yakup Genc
166
Voted
ICCV
2007
IEEE
16 years 8 months ago
Uninitialized, Globally Optimal, Graph-Based Rectilinear Shape Segmentation The Opposing Metrics Method
We present a new approach for the incorporation of shape information into a segmentation algorithm. Unlike previous approaches to the problem, our method requires no initializatio...
Ali Kemal Sinop, Leo Grady
183
Voted
ICCV
2007
IEEE
16 years 8 months ago
An Interactive Approach to Pose-Assisted and Appearance-based Segmentation of Humans
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...