The problem of how a teacher and a learner can cooperate in the process of learning concepts from examples in order to minimize the required sample size without ācoding tricksā...
Sandra Zilles, Steffen Lange, Robert Holte, Martin...
Changes in the underpinning technologies for TEL is occurring at a pace that we have never before experienced, and this is unlikely to slow down. This necessitates a broader and mo...
Andrew Ravenscroft, Tom Boyle, John Cook, Andreas ...
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
Jack Dongarra, Robert Graybill, William Harrod, Ro...
Measurements of the Internet for law enforcement purposes must be forensically valid. We examine the problems inherent in using various network- and applicationlevel identifiers i...
When a system fails to satisfy its speciļ¬cation, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...