C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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