The Formal Analysis of Human-Computer Interaction During Accident Investigations.
Chris W. JohnsonPublished in: BCS HCI (1994)
Keyphrases
- human computer interaction
- formal analysis
- user interface
- facial expression recognition
- formal methods
- human factors
- ban logic
- human computer
- hand gestures
- eye tracking
- agent model
- gesture recognition
- interface design
- human computer interface
- software engineering
- user interface design
- affective computing
- query language