Verification of the Lyee requirement.

Osamu Arai Hamido Fujita

Published in: SoMeT (2006)

Keyphrases

model checking
face verification
formal analysis
formal verification
data sets
multiresolution
signature verification
information retrieval
decision making
high security
verification method