Can a "poor" verification system be a "good" identification system? A preliminary study.

Brian DeCann Arun Ross

Published in: WIFS (2012)

Keyphrases

person identification
model checking
automatic identification
petri net
signature verification
verification method
image sequences
multiscale
multi agent systems
special case
hidden markov models
formal methods
formal verification
writer identification