1193 search results - page 21 / 239 » A primer of simple theories |
AIED
2009
Springer
15 years 6 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
84
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
115
click to vote
TYPES
1994
Springer
15 years 3 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
This paper introduces a simple and very general theory of compressive sensing. In this theory, the sensing mechanism simply selects sensing vectors independently at random from a ...
NN
1998
Springer
14 years 11 months ago
1998
Springer
We experimented on task-level robot learning based on bi-directional theory. The via-point representation was used for ‘learning by watching’. In our previous work, we had a r...