367 search results - page 65 / 74 » Adapting functional programs to higher order logic |
105
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
137
click to vote
ENTCS
2007
15 years 1 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
108
click to vote
ISMB
1997
15 years 3 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
140
click to vote
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
136
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...