553 search results - page 40 / 111 » Learning Meets Verification |
ECML
1993
Springer
14 years 2 months ago
1993
Springer
It is empirically known that most incremental learning systems are order dependent, i.e. provide results that depend on the particular order of the data presentation. This paper ai...
JCP
2007
13 years 10 months ago
2007
— Detailed and expressive e-learning specifications like IMS LD [1] are necessary to create efficient e-learning applications. E-learning specifications that meet these demand...
QSIC
2008
IEEE
14 years 4 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
This paper argues that the key challenges facing HE institutions in 2007 are the same as a decade previously and therefore that lessons may be learned from previous attempts to emp...
ACSC
2003
IEEE
14 years 3 months ago
2003
IEEE
The purpose of this paper is to describe in detail the current development status of the innovative Environment for Learning to Program (ELP) which provides an interactive web-bas...