Sciweavers

1968 search results - page 290 / 394
» Symmetry in Decision Evaluation
Sort
View
AVBPA
2005
Springer
308views Biometrics» more  AVBPA 2005»
15 years 12 months ago
Biometric Recognition Using Feature Selection and Combination
Most of the prior work in biometric literature has only emphasized on the issue of feature extraction and classification. However, the critical issue of examining the usefulness of...
Ajay Kumar, David Zhang
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
15 years 12 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...
ERCIMDL
2005
Springer
148views Education» more  ERCIMDL 2005»
15 years 12 months ago
Active Support for Query Formulation in Virtual Digital Libraries: A Case Study with DAFFODIL
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
André Schaefer, Matthias Jordan, Claus-Pete...
ICCBR
2005
Springer
15 years 12 months ago
Learning to Win: Case-Based Plan Selection in a Real-Time Strategy Game
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
David W. Aha, Matthew Molineaux, Marc J. V. Ponsen
ICIAR
2005
Springer
15 years 12 months ago
On the Individuality of the Iris Biometric
We consider quantitatively establishing the discriminative power of iris biometric data. It is difficult, however, to establish that any biometric modality is capable of distingui...
Sungsoo Yoon, Seung-Seok Choi, Sung-Hyuk Cha, Yill...