4716 search results - page 592 / 944 » Tangible functional programming |
87
Voted
GECCO
2007
Springer
15 years 5 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...
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Say that f : {0, 1}n → {0, 1} -approximates g : {0, 1}n → {0, 1} if the functions disagree on at most an fraction of points. This paper contains two results about approximatio...
107
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
110
click to vote
CLUSTER
2005
IEEE
15 years 5 months ago
2005
IEEE
Thread migration moves a single call-stack to another machine to improve either load balancing or locality. Current approaches for checkpointing and thread migration are either no...
105
click to vote
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...