2440 search results - page 41 / 488 » Abstraction Learning |
ECTEL
2006
Springer
13 years 11 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...
ECML
2006
Springer
13 years 11 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 ...
MICAI
2009
Springer
14 years 5 days 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
14 years 29 days 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...
APLAS
2010
ACM
13 years 7 months 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...