Tampere Verification Tool.

Heikki Virtanen Henri Hansen Antti Valmari Juha Nieminen Timo Erkkilä

Published in: TACAS (2004)

Keyphrases

real time
artificial intelligence
decision making
software tools
neural network
genetic algorithm
computer vision
face recognition
face verification