Sciweavers

43 search results - page 8 / 9
» Fingerprint Verification Using Genetic Algorithms
Sort
View
GECCO
2008
Springer
257views Optimization» more  GECCO 2008»
13 years 5 months ago
Rapid evaluation and evolution of neural models using graphics card hardware
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
Thomas F. Clayton, Leena N. Patel, Gareth Leng, Al...
CADE
2008
Springer
14 years 4 months ago
Certifying a Tree Automata Completion Checker
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
Benoît Boyer, Thomas Genet, Thomas P. Jensen
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
13 years 9 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
IJCNLP
2005
Springer
13 years 10 months ago
Anaphora Resolution for Biomedical Literature by Exploiting Multiple Resources
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...
Tyne Liang, Yu-Hsiang Lin
TSMC
2008
147views more  TSMC 2008»
13 years 4 months ago
Tracking of Multiple Targets Using Online Learning for Reference Model Adaptation
Recently, much work has been done in multiple ob-4 ject tracking on the one hand and on reference model adaptation5 for a single-object tracker on the other side. In this paper, we...
Franz Pernkopf