82 search results - page 12 / 17 » DIANE, a diagnosis system for arithmetical problem solving |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
EPIA
2009
Springer
15 years 4 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
55
Voted
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
ICIC
2005
Springer
15 years 2 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...