3333 search results - page 175 / 667 » Abstract Proof Search |
134
Voted
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we present a parallel tabu search (TS) algorithm for efficient optimization of a constrained multiobjective VLSI standard cell placement problem. The prima...
130
click to vote
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
128
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a comparative study between a state-ofthe-art clause weighting local search method for satisfiability testing and a variant modified to obtain longe...
135
click to vote
AE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose a new niching method for Evolutionary Algorithms which is able to identify and track global and local optima in a multimodal search space. To prevent the loss ...
136
click to vote
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a bit-parallel technique to search a text of length n for a regular expression of m symbols permitting k differences in worst case time O(mn/ logk s), where s...