16188 search results - page 15 / 3238 » The Optimal PAC Algorithm |
101
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
125
click to vote
ALT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the issue of learning nonlinearly separable concepts with a kernel classifier in the situation where the data at hand are altered by a uniform classific...
106
Voted
COLT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
131
click to vote
COLT
2006
Springer
15 years 5 months ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
140
Voted
IJCAI
1993
15 years 3 months ago
1993
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...