589 search results - page 90 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
139
click to vote
ASE
1998
14 years 11 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
110
Voted
TPDS
2010
14 years 10 months ago
2010
This paper studies the problem of realizing a common software clock among a large set of nodes without an external time reference (i.e., internal clock synchronization), any centr...
76
Voted
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
With an explosive growth of blogs, information seeking in blogosphere becomes more and more challenging. One example task is to find the most relevant topical blogs against a give...
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
This paper presents an Adaptive Genetic Algorithm (AGA) where selection pressure, crossover and mutation probabilities are adapted according to population diversity statistics. Th...
100
click to vote
EH
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...