Formal Modeling of Interactive Systems.

Published in: APAQS (2000)

Keyphrases

interactive systems
human computer interaction
dynamic aspects
learning algorithm
decision making
website
three dimensional
face recognition
user interface
formal models
digital entertainment