Sciweavers

1399 search results - page 115 / 280
» Verification of Test Suites
Sort
View
ICIP
2006
IEEE
16 years 6 months ago
Multimodal 2D, 2.5D & 3D Face Verification
A multimodal face verification process is presented for standard 2D color images, 2.5D range images and 3D meshes. A normalization in orientation and position is essential for 2.5...
Cristina Conde, Ángel Serrano, Enrique Cabello
130
Voted
ICPR
2004
IEEE
16 years 5 months ago
Competitive Coding Scheme for Palmprint Verification
There is increasing interest in the development of reliable, rapid and non-intrusive security control systems. Among the many approaches, biometrics such as palmprints provide hig...
Adams Wai-Kin Kong, David Zhang
164
Voted
IDEAL
2007
Springer
15 years 10 months ago
Influence of Wavelet Frequency and Orientation in an SVM-Based Parallel Gabor PCA Face Verification System
We present a face verification system using Parallel Gabor Principal Component Analysis (PGPCA) and fusion of Support Vector Machines (SVM) scores. The algorithm has been tested on...
Ángel Serrano, Isaac Martín de Diego...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 8 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
DKE
2010
112views more  DKE 2010»
15 years 4 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar