2263 search results - page 99 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
ICML
2003
IEEE
16 years 2 months ago
2003
IEEE
The problem of learning with positive and unlabeled examples arises frequently in retrieval applications. We transform the problem into a problem of learning with noise by labelin...
118
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
116
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
125
click to vote
FLAIRS
2003
15 years 2 months ago
2003
In this paper, we present an experimental methodology and results for a machine learning approach to learning opening strategy in the game of Go, a game for which the best compute...
128
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...