Sciweavers

1219 search results - page 115 / 244
» Verification of Equivalent-Results Methods
Sort
View
126
Voted
ICPR
2008
IEEE
15 years 10 months ago
A performance evaluation of filter design and coding schemes for palmprint recognition
Palmprint recognition, as one of the most promising biometrics, has received considerable recent biometric research interest. Among various palmprint recognition techniques, codin...
Feng Yue, Wangmeng Zuo, Kuanquan Wang, David Zhang
137
Voted
AVBPA
2005
Springer
256views Biometrics» more  AVBPA 2005»
15 years 9 months ago
Modification of Intersession Variability in On-Line Signature Verifier
For Pen-input on-line signature verification algorithms, the influence of intersession variability is a considerable problem because hand-written signatures change with time, causi...
Yasunori Hongo, Daigo Muramatsu, Takashi Matsumoto
ISQED
2002
IEEE
175views Hardware» more  ISQED 2002»
15 years 8 months ago
On the Relation between SAT and BDDs for Equivalence Checking
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
Sherief Reda, Rolf Drechsler, Alex Orailoglu
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 8 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
EDOC
2000
IEEE
15 years 8 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...