Hear What They Say and Watch What They Do: Predicting Valid Mathematical Proofs Using Speech and Gesture.
Elizabeth L. PierCandace A. WalkingtonCaroline WilliamsRebecca BoncoddoJessica WaalaMartha W. AlibaliMitchell J. NathanPublished in: ICLS (2014)
Keyphrases
- mathematical proofs
- multimodal interfaces
- hand movements
- speech recognition
- gesture recognition
- theorem prover
- cognitive processes
- multi stream
- speech signal
- natural language
- hidden markov models
- human computer interaction
- text to speech
- automatic speech recognition
- audio visual
- hand gestures
- speech synthesis
- endpoint detection
- artificial intelligence
- hand gesture recognition
- language acquisition
- sign language
- pattern recognition