419 search results - page 84 / 84 » An LP-Designed Algorithm for Constraint Satisfaction |
CORR
2006
Springer
14 years 11 months ago
2006
Springer
: A local search algorithm operating on an instance of a Boolean constraint satisfaction problem (in particular, k-SAT) can be viewed as a stochastic process traversing successive ...
PUC
2007
14 years 11 months ago
2007
Personal experience computing is an emerging research area in computing support for capturing, archiving, editing, and utilizing of digital personal experiences. This paper presen...
119
click to vote
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
This paper presents PipeProbe, a mobile sensor system for determining the spatial topology of hidden water pipelines behind walls. PipeProbe works by dropping a tiny wireless sens...
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of GW + , for all > 0; here GW .878567 denotes the a...