1818 search results - page 279 / 364 » Granularity-Adaptive Proof Presentation |
147
click to vote
COLT
2005
Springer
15 years 12 months ago
2005
Springer
We study the problem of learning a kernel which minimizes a regularization error functional such as that used in regularization networks or support vector machines. We consider thi...
144
click to vote
COLT
2005
Springer
15 years 12 months ago
2005
Springer
We present a new generalization bound where the use of unlabeled examples results in a better ratio between training-set size and the resulting classifier’s quality and thus red...
153
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
130
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
195
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...