Sciweavers

9067 search results - page 653 / 1814
» Adaptive Model Checking
Sort
View
196
Voted
ICALT
2006
IEEE
16 years 1 months ago
Adaptive Learning Objects Sequencing for Competence-Based Learning
Lifelong learning refers to the activities people perform throughout their life to improve their competence in a particular field. Although adaptive educational hypermedia systems...
Pythagoras Karampiperis, Demetrios G. Sampson
ISPDC
2005
IEEE
16 years 26 days ago
Enforcing consistency during the adaptation of a parallel component
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
Jérémy Buisson, Françoise And...
UM
2005
Springer
16 years 23 days ago
Motion-Based Adaptation of Information Services for Mobile Users
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
Mathias Bauer, Matthieu Deru
HT
2004
ACM
16 years 21 days ago
Augmenting SCORM manifests with adaptive links
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
Nor Aniza Abdullah, Christopher Bailey, Hugh C. Da...
ADHOCNOW
2004
Springer
16 years 21 days ago
Maximal Source Coverage Adaptive Gateway Discovery for Hybrid Ad Hoc Networks
Abstract. One of the most important aspects affecting the overall performance of hybrid ad hoc networks is the efficient selection of Internet gateways. We have analytically model...
Pedro M. Ruiz, Antonio F. Gómez-Skarmeta