2440 search results - page 41 / 488 » Abstraction Learning |
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper investigates the use of ontologies in processes of collaborative learning and knowledge generation. The creation and use of ontologies is analysed from an acti...
111
Voted
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In contrast to the standard inductive inference setting of predictive machine learning, in real world learning problems often the test instances are already available at ...
90
Voted
MICAI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
97
Voted
APLAS
2010
ACM
15 years 23 days ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...