approach to verification of adaptive systems.

Christopher A. Rouff Richard W. Buskens Laura Pullum Xiaohui Cui Mike Hinchey

Published in: C3S2E (2012)

Keyphrases

adaptive systems
learning systems
user modeling
adaptation strategies
e learning
adaptive hypermedia
model checking
user model
context awareness
verification method
learning environment
hybrid intelligent systems
formal verification
face verification
intelligent agents
general purpose
user centred evaluation