4324 search results - page 86 / 865 » A Generalized Representer Theorem |
134
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
126
click to vote
IJCAI
1997
15 years 5 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
116
click to vote
AML
2000
15 years 4 months ago
2000
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
119
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We present tight surrogate regret bounds for the class of proper (i.e., Fisher consistent) losses. The bounds generalise the margin-based bounds due to Bartlett et al. (2006). The...
145
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The goal of this paper is the development of a novel approach for the problem of Noise Removal, based on the theory of Reproducing Kernels Hilbert Spaces (RKHS). The problem is ca...