607 search results - page 55 / 122 » Unifying Exact Completions |
95
Voted
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
A generalised form of recombination, wherein an offspring can be formed from any of the genetic material of the parents, is analysed in the context of a two-locus recombinative G...
139
click to vote
APPROX
2005
Springer
15 years 11 months ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
165
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
157
click to vote
COCO
2004
Springer
15 years 11 months ago
2004
Springer
We prove a parameterized analog of Schaefer’s Dichotomy Theorem: we show that for every finite boolean constraint family F, deciding whether a formula containing constraints fr...
156
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
We describe the query and data processing language QUOGGLES which is particularly designed for the application on graphs. It uses a pipeline-like technique known from command line ...