152 search results - page 23 / 31 » Efficiently Exploiting Dependencies in Local Search for SAT |
103
click to vote
ANTSW
2008
Springer
14 years 11 months ago
2008
Springer
An adaptive particle swarm optimization (APSO) that features better search efficiency than classical particle swarm optimization (PSO) is presented. More importantly, it can perfor...
84
Voted
IJCAI
2007
14 years 11 months ago
2007
A matrix formulation for an adaptive genetic algorithm is developed using mutation matrix and crossover matrix. Selection, mutation, and crossover are all parameter-free in the se...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
Accurate web page classification often depends crucially on information gained from neighboring pages in the local web graph. Prior work has exploited the class labels of nearby p...
107
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
ISCA
2000
IEEE
15 years 2 months ago
2000
IEEE
The bandwidth and latency of a memory system are strongly dependent on the manner in which accesses interact with the “3-D” structure of banks, rows, and columns characteristi...