9067 search results - page 679 / 1814 » Adaptive Model Checking |
169
click to vote
AH
2006
Springer
15 years 11 months ago
2006
Springer
Intelligent tutoring systems achieve much of their success by adapting to individual students. One potential avenue for personalization is feedback generality. This paper presents ...
202
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Databases are continuously evolving environments, where design constructs are added, removed or updated quite often. Research has extensively dealt with the problem of database evo...
239
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
Outlier detection in wireless sensor networks is essential to ensure data quality, secure monitoring and reliable detection of interesting and critical events. A key challenge for...
180
click to vote
ASSETS
2008
ACM
15 years 9 months ago
2008
ACM
Word prediction helps to increase communication rate when using Augmentative and Alternative Communication devices. Basic prediction systems offer topically inappropriate predicti...
246
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...