632 search results - page 49 / 127 » Explicit Substitutions and Programming Languages |
109
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
144
Voted
SNPD
2003
15 years 3 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
132
Voted
JMLR
2012
13 years 5 months ago
2012
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
128
click to vote
JMLR
2012
13 years 5 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...
190
Voted
JMLR
2012
13 years 5 months ago
2012
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...