879 search results - page 91 / 176 » Optimizing for Reduced Code Space using Genetic Algorithms |
153
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
163
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
One of the major diļ¬culties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...
164
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Linkage Disequilibrium (LD) bin-tagging algorithms identify a reduced set of tag SNPs that can capture the genetic variation in a population without genotyping every s...
121
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eļ¬...
160
click to vote
TWC
2011
14 years 11 months ago
2011
AbstractāIn this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...