A New Human Interactive Proofs System for Deaf Persons.
Sajad Shirali-ShahrezaMohammad Shirali-ShahrezaPublished in: ITNG (2008)
Keyphrases
- user friendly
- human interaction
- sign language
- human subjects
- human behavior
- artificial intelligence
- interactive evolutionary computation
- theorem prover
- guided exploration
- formal proofs
- natural interaction
- interactive video
- human operators
- computational models
- augmented reality
- virtual reality
- hidden markov models
- decision making