Verification-guided modelling of salience and cognitive load.

Rimvydas Ruksenas Jonathan Back Paul Curzon Ann Blandford

Published in: Formal Aspects Comput. (2009)

Keyphrases

cognitive load
working memory
model checking
computer literacy
cognitive load theory
learning outcomes
individual differences
signature verification
reinforcement learning
skill acquisition