A Simplified Z Semantics for Presentation Interaction Models.

Judy Bowen Steve Reeves

Published in: FM (2014)

Keyphrases

probabilistic model
genetic algorithm
formal semantics
case study
prior knowledge
user interaction
data mining
human computer interaction
statistical model