125 search results - page 10 / 25 » A new look at survey propagation and its generalizations |
CHI
1997
ACM
13 years 11 months ago
1997
ACM
This paper presents the interface design of the WorldBeat system, an interactive exhibit about using computers in musical education, and as musical instruments. The system allows ...
SODA
1998
ACM
13 years 9 months ago
1998
ACM
We prove that the First Fit bin packing algorithm is stable under the input distribution U{k - 2, k} for all k 3, settling an open question from the recent survey by Coffman, Gar...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di�...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
IJCAI
2003
13 years 9 months ago
2003
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...