935 search results - page 147 / 187 » A New Statistical Optimization Algorithm for Gate Sizing |
116
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The Building Block Hypothesis suggests that Genetic Algorithms (GAs) are well-suited for hierarchical problems, where efficient solving requires proper problem decomposition and a...
119
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
132
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
137
click to vote
COCOON
2010
Springer
15 years 6 months ago
2010
Springer
Given a set of n strings of length L and a radius d, the closest string problem (CSP for short) asks for a string tsol that is within a Hamming distance of d to each of the given ...
175
click to vote
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a novel multi-agent patrolling strategy. By assumption, the swarm of agents performing the task consists of very low capability ant-like agents. The agents have littl...