Sciweavers

718 search results - page 53 / 144
» Timing Yield Calculation Using an Impulse-Train Approach
Sort
View
ICCV
1998
IEEE
13 years 12 months ago
A Maximum-Flow Formulation of the N-Camera Stereo Correspondence Problem
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...
Sébastien Roy, Ingemar J. Cox
CSDA
2008
94views more  CSDA 2008»
13 years 7 months ago
Robust model selection using fast and robust bootstrap
Robust model selection procedures control the undue influence that outliers can have on the selection criteria by using both robust point estimators and a bounded loss function wh...
Matias Salibian-Barrera, Stefan Van Aelst
CAV
2001
Springer
80views Hardware» more  CAV 2001»
13 years 11 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
ISQED
2006
IEEE
124views Hardware» more  ISQED 2006»
14 years 1 months ago
DFM Metrics for Standard Cells
Design for Manufacturability (DFM) is becoming increasingly important as process geometries shrink. Conventional design rule pass/fail is not adequate to quantify DFM compliance. ...
Robert C. Aitken
AAAI
2008
13 years 10 months ago
Using Wiktionary for Computing Semantic Relatedness
We introduce Wiktionary as an emerging lexical semantic resource that can be used as a substitute for expert-made resources in AI applications. We evaluate Wiktionary on the perva...
Torsten Zesch, Christof Müller, Iryna Gurevyc...