Sciweavers

6941 search results - page 804 / 1389
» Testing as a Certification Approach
Sort
View
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 11 months ago
Synthesis for Manufacturability: A Sanity Check
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
Alessandra Nardi, Alberto L. Sangiovanni-Vincentel...
ECRTS
2004
IEEE
15 years 11 months ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka
ESOP
2004
Springer
15 years 11 months ago
ML-Like Inference for Classifiers
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
Cristiano Calcagno, Eugenio Moggi, Walid Taha
CIVR
2006
Springer
172views Image Analysis» more  CIVR 2006»
15 years 11 months ago
Retrieving Shapes Efficiently by a Qualitative Shape Descriptor: The Scope Histogram
Abstract. Efficient image retrieval from large image databases is a challenging problem. In this paper we present a method offering constant time complexity for the comparison of t...
Arne Schuldt, Björn Gottfried, Otthein Herzog
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 11 months ago
Eigen-Harmonics Faces: Face Recognition under Generic Lighting
The performances of face recognition systems are heavily subject to the variations in lighting. We propose a novel approach for face recognition under generic illumination conditi...
Laiyun Qing, Shiguang Shan, Wen Gao