1830 search results - page 92 / 366 » Functional Programs as Linked Data |
150
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...
149
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
129
click to vote
ENTCS
2010
15 years 17 days ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
113
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
143
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...