Sciweavers

4324 search results - page 217 / 865
» A Generalized Representer Theorem
Sort
View
CADE
2005
Springer
16 years 6 months ago
The Model Evolution Calculus with Equality
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Cesare Tinelli
FOCS
2009
IEEE
16 years 1 months ago
KKL, Kruskal-Katona, and Monotone Nets
We generalize the Kahn-Kalai-Linial (KKL) Theorem to random walks on Cayley and Schreier graphs, making progress on an open problem of Hoory, Linial, and Wigderson. In our general...
Ryan O'Donnell, Karl Wimmer
JCDL
2006
ACM
137views Education» more  JCDL 2006»
16 years 15 days ago
Exploring digital libraries: integrating browsing, searching, and visualization
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Ricard...
WCC
2005
Springer
115views Cryptology» more  WCC 2005»
16 years 1 days ago
On the Weights of Binary Irreducible Cyclic Codes
This paper is devoted to the study of the weights of binary irreducible cyclic codes. We start from McEliece’s interpretation of these weights by means of Gauss sums. Firstly, a ...
Yves Aubry, Philippe Langevin
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 11 months ago
A learning algorithm for top-down XML transformations
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
Aurélien Lemay, Sebastian Maneth, Joachim N...