Sciweavers

557 search results - page 5 / 112
» The L4.verified Project - Next Steps
Sort
View
COMBINATORICS
2007
75views more  COMBINATORICS 2007»
13 years 8 months ago
Maximal Projective Degrees for Strict Partitions
Let λ be a partition, and denote by fλ the number of standard tableaux of shape λ. The asymptotic shape of λ maximizing fλ was determined in the classical work of Logan and S...
D. Bernstein, A. Henke, A. Regev
JMLR
2006
115views more  JMLR 2006»
13 years 8 months ago
Structured Prediction, Dual Extragradient and Bregman Projections
We present a simple and scalable algorithm for maximum-margin estimation of structured output models, including an important class of Markov networks and combinatorial models. We ...
Benjamin Taskar, Simon Lacoste-Julien, Michael I. ...
MCS
2000
Springer
14 years 8 days ago
A Hybrid Projection Based and Radial Basis Function Architecture
We introduce a mechanism for constructing and training a hybrid architecture of projection based units and radial basis functions. In particular, we introduce an optimization sche...
Shimon Cohen, Nathan Intrator
NIPS
2004
13 years 10 months ago
Kernel Projection Machine: a New Tool for Pattern Recognition
This paper investigates the effect of Kernel Principal Component Analysis (KPCA) within the classification framework, essentially the regularization properties of this dimensional...
Laurent Zwald, Régis Vert, Gilles Blanchard...
CEAS
2006
Springer
14 years 13 days ago
Using Early Results from the 'spamHINTS' Project to Estimate an ISP Abuse Team's Task
ISPs operate "abuse" teams to deal with reports of inappropriate email being sent by their customers. Currently, the majority of this work is dealing with insecure syste...
Richard Clayton