Sciweavers

478 search results - page 36 / 96
» Monads of Regular Theories
Sort
View
LICS
2007
IEEE
15 years 5 months ago
A Contraction Method to Decide MSO Theories of Deterministic Trees
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
Angelo Montanari, Gabriele Puppis
DAGM
2005
Springer
15 years 4 months ago
Regularization on Discrete Spaces
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
Dengyong Zhou, Bernhard Schölkopf
CORR
2008
Springer
99views Education» more  CORR 2008»
14 years 11 months ago
When is there a representer theorem? Vector versus matrix regularizers
We consider a general class of regularization methods which learn a vector of parameters on the basis of linear measurements. It is well known that if the regularizer is a nondecr...
Andreas Argyriou, Charles A. Micchelli, Massimilia...
TKDE
2008
121views more  TKDE 2008»
14 years 11 months ago
Kernel Uncorrelated and Regularized Discriminant Analysis: A Theoretical and Computational Study
Linear and kernel discriminant analyses are popular approaches for supervised dimensionality reduction. Uncorrelated and regularized discriminant analyses have been proposed to ove...
Shuiwang Ji, Jieping Ye
LATA
2009
Springer
15 years 5 months ago
On the Average Size of Glushkov's Automata
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...
Cyril Nicaud