343 search results - page 5 / 69 » An Algebraic Approach to Inductive Learning |
ISCI
1998
13 years 7 months ago
1998
This paper presents a method for updating approximations of a concept incrementally. The results can be used to implement a quasi-incremental algorithm for learning classification...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
UMUAI
2008
13 years 7 months ago
2008
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Affect has been the subject of increasing attention in cognitive accounts of learning. Many intelligent tutoring systems now seek to adapt pedagogy to student affective and motivat...
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...