589 search results - page 118 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
103
click to vote
EMO
2006
Springer
15 years 3 months ago
2006
Springer
With the popularity of efficient multi-objective evolutionary optimization (EMO) techniques and the need for such problem-solving activities in practice, EMO methodologies and EMO ...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...
110
click to vote
AAI
1998
14 years 11 months ago
1998
In the Intelligent Robotics Laboratory (IRL) at Vanderbilt University we seek to develop service robots with a high level of social intelligence and interactivity. In order to ach...
129
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: MicroRNAs (miRNAs) are recognized as one of the most important families of noncoding RNAs that serve as important sequence-specific post-transcriptional regulators of ...