879 search results - page 91 / 176 » Optimizing for Reduced Code Space using Genetic Algorithms |
136
Voted
ATAL
2004
Springer
15 years 6 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 ...
136
Voted
GECCO
2008
Springer
15 years 3 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...
145
Voted
BMCBI
2011
14 years 9 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...
98
Voted
WEA
2005
Springer
15 years 8 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ļ¬...
135
Voted
TWC
2011
14 years 9 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 ...