8197 search results - page 133 / 1640 » Adaptive functional programming |
174
click to vote
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
124
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
130
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a new online convex optimization algorithm that adaptively chooses its regularization function based on the loss functions observed so far. This is in contrast to pre...