2888 search results - page 104 / 578 » Measuring the Learning Progress in a |
127
click to vote
MLMI
2004
Springer
15 years 10 months ago
2004
Springer
The NITE XML Toolkit (NXT) provides library support for working with multimodal language corpora. We describe work in progress to explore its potential for the AMI project by appl...
162
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
129
click to vote
COMPUTER
2006
15 years 4 months ago
2006
An entire potpourri of ideas is listed from the past decades of Computer Science and Computer Technology. Widely acclaimed at their time, many have lost in splendor and brilliance...
145
click to vote
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes an efficient method to learn from multi source data with an Inductive Logic Programming method. The method is based on two steps. The first one consists in lea...
111
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Identifying and managing students who experience difficulty with learning to program is a challenge for CS educators. In an attempt to answer the familiar question “What makes f...