7103 search results - page 513 / 1421 » Program Generation and Components |
144
click to vote
ESOP
2012
Springer
14 years 20 days ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
154
click to vote
JMLR
2012
13 years 7 months ago
2012
We study sparse principal components analysis in the high-dimensional setting, where p (the number of variables) can be much larger than n (the number of observations). We prove o...
180
click to vote
JMLR
2012
13 years 7 months ago
2012
This paper proposes a novel Bayesian approximation inference method for mixture modeling. Our key idea is to factorize marginal log-likelihood using a variational distribution ove...
442
click to vote
Book
"This document explains how to construct a compiler using lex and yacc. Lex and yacc are tools used to generate lexical analyzers and parsers. I assume you can program in C, a...
248
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...