Sciweavers

477 search results - page 53 / 96
» Design patterns in separation logic
Sort
View
AVBPA
2001
Springer
116views Biometrics» more  AVBPA 2001»
14 years 1 months ago
Face Identification and Verification via ECOC
We propose a novel approach to face identification and verification based on the Error Correcting Output Coding (ECOC) classifier design concept. In the training phase the client s...
Josef Kittler, Reza Ghaderi, Terry Windeatt, Jiri ...
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
14 years 1 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
CSB
2003
IEEE
14 years 2 months ago
A New Similarity Measure among Protein Sequences
Protein sequence analysis is an important tool to decode the logic of life. One of the most important similarity measures in this area is the edit distance between amino acids of ...
Kuen-Pin Wu, Hsin-Nan Lin, Ting-Yi Sung, Wen-Lian ...
JVCIR
2006
85views more  JVCIR 2006»
13 years 9 months ago
Combining geometrical and textured information to perform image classification
In this paper, we propose a framework to carry out supervised classification of images containing both textured and non textured areas. Our approach is based on active contours. U...
Jean-François Aujol, Tony F. Chan
APGV
2010
ACM
238views Visualization» more  APGV 2010»
13 years 10 months ago
A morphing-based analysis of the perceptual distance metric of human faces
This paper presents a psychophysical analysis of the discrimination thresholds of human faces that are varied along different directions in Face Space. Generated by a 3D Morphable...
Nadine Gummersbach, Volker Blanz