7006 search results - page 1182 / 1402 » Approximation Algorithms |
193
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Algorithms based on local search are popular for solving many optimization problems including the maximum satisfiability problem (MAXSAT). With regard to MAXSAT, the state of the ...
274
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
In moving object environments, it is infeasible for the database tracking the movement of objects to store the exact locations of objects at all times. Typically, the location of a...
278
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
162
click to vote
FOCS
2008
IEEE
16 years 23 days ago
2008
IEEE
We show that for k ≥ 3 even the Ω(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example ...
170
click to vote
ISBI
2007
IEEE
16 years 18 days ago
2007
IEEE
This contribution describes a system and method for tomographically imaging lymph nodes marked with a lymph endothelium targeting fluorescence reporter. A novel scanning NIR lase...