—This paper presents the open learning object repository and collaborative authoring platform LeMill (http://lemill.net), which has over 7,500 members and over 8,500 reusable lea...
Teemu Leinonen, Jukka Purma, Hans Poldoja, Tarmo T...
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Ya...
Proactive learning is a generalization of active learning designed to relax unrealistic assumptions and thereby reach practical applications. Active learning seeks to select the m...
The AVICENNA VIRTUAL CAMPUS project, championed by UNESCO, has the aim to accelerate the adoption and use of ICT-assisted Open Distance Learning (ODL) in the Euro-Med region. As a...
C. Rodrigo, J. Hidalgo, M. L. Cacheiro, A. Del Olm...
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...