2263 search results - page 134 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
161
click to vote
COLT
2001
Springer
15 years 10 months ago
2001
Springer
We investigate the use of certain data-dependent estimates of the complexity of a function class, called Rademacher and Gaussian complexities. In a decision theoretic setting, we ...
130
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose and analyze two strategies to learn over unordered pairs with kernels, and provide a common theoretical framework to compare them. The strategies are related to methods...
168
click to vote
NIPS
1998
15 years 7 months ago
1998
We introduce a semi-supervised support vector machine (S3 VM) method. Given a training set of labeled data and a working set of unlabeled data, S3 VM constructs a support vector m...
193
click to vote
ICST
2009
IEEE
16 years 15 days ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
294
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...