380 search results - page 26 / 76 » Learning Recursive Control Programs from Problem Solving |
130
Voted
ALT
2004
Springer
16 years 21 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
142
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible ...
114
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...
122
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Intelligent tutoring systems often rely on interactive tutored problem solving to help students learn math, which requires students to work through problems step-by-step while the ...
122
Voted
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...