Verification of Adaptive Systems.
Laura PullumXiaohui CuiEmil VassevMichael G. HincheyChristopher A. RouffRichard W. BuskensPublished in: Infotech@Aerospace (2012)
Keyphrases
- adaptive systems
- learning systems
- user modeling
- model checking
- user model
- adaptation strategies
- context awareness
- learning environment
- face verification
- e learning
- hybrid intelligent systems
- formal methods
- signature verification
- verification method
- web documents
- low cost
- learning process
- mobile devices
- computer vision