Sciweavers

4757 search results - page 38 / 952
» Monads for Functional Programming
Sort
View
JMLR
2012
11 years 10 months ago
Structured Output Learning with High Order Loss Functions
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
Daniel Tarlow, Richard S. Zemel
ICFP
2002
ACM
14 years 7 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers
ESOP
2010
Springer
14 years 5 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
TOOLS
2010
IEEE
14 years 21 days ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
JMLR
2012
11 years 10 months ago
Minimax-Optimal Rates For Sparse Additive Models Over Kernel Classes Via Convex Programming
Sparse additive models are families of d-variate functions with the additive decomposition f∗ = ∑j∈S f∗ j , where S is an unknown subset of cardinality s d. In this paper,...
Garvesh Raskutti, Martin J. Wainwright, Bin Yu