A representational approach to the specification of presentations.

Gavin J. Doherty Michael D. Harrison

Published in: DSV-IS (1997)

Keyphrases

formal specification
multiple representations
high level
specification language
user defined
formal verification
neural network
information systems
decision making
web pages
image sequences
similarity measure
multi agent
operational semantics