Login / Signup
Verification and validation of an intelligent tutorial system.
Rosa María Aguilar
Vanessa Muñoz
Maria Aurelia Noda
Alicia Bruno
Lorenzo Moreno Ruiz
Published in:
Expert Syst. Appl. (2008)
Keyphrases
</>
model checking
face verification
formal verification
concurrent systems
real time
data mining
genetic algorithm
computer vision
verification method
data structure
high security
signature verification
false acceptance rate
person identification
smart card
natural language
image processing
real world
neural network