414 search results - page 38 / 83 » Functional Programming in Sublinear Space |
129
click to vote
ATAL
2010
Springer
14 years 9 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
127
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
131
Voted
IPMI
2007
Springer
16 years 3 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
95
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
We introduce potential fitness, a variant of fitness function that operates in the space of schemata and is applicable to tree-based genetic programing. The proposed evaluation ...
117
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...