Verification: what works and what doesn't.

Francine Bacchini Robert F. Damiano Bob Bentley Kurt Baty Kevin Normoyle Makoto Ishii Einat Yogev

Published in: DAC (2004)

Keyphrases

model checking
information retrieval
asynchronous circuits
multimedia
similarity measure
evolutionary algorithm
special case
face verification
person identification