Keyphrases
- interactive systems
- human computer interaction
- high level
- user interface
- delay insensitive
- digital entertainment
- data structure
- concurrent systems
- social intelligence
- specification language
- control flow
- relational databases
- formal specification
- information management
- operational semantics
- formal verification
- learning algorithm
- logic programs
- hidden markov models
- multiscale
- decision trees