3502 search results - page 221 / 701 » From Machine Learning to Machine Reasoning |
173
click to vote
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the problem of learning classifiers using several kernel functions. On the contrary to many contributions in the field of learning from different sources of information...
199
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
161
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
216
click to vote
AGI
2008
15 years 8 months ago
2008
In order to claim fully general intelligence in an autonomous agent, the ability to learn is one of the most central capabilities. Classical machine learning techniques have had ma...
196
click to vote
ICMLA
2010
15 years 4 months ago
2010
Abstract--Learning multiple related tasks from data simultaneously can improve predictive performance relative to learning these tasks independently. In this paper we propose a nov...