Login / Signup
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions.
Thomas Ball
Jürgen Giesl
Reiner Hähnle
Tobias Nipkow
Published in:
Interaction versus Automation: The two Faces of Deduction (2009)
Keyphrases
</>
user interaction
human computer interaction
face recognition
case study
genetic algorithm
face images
human interaction