1576 search results - page 198 / 316 » Streaming Algorithms for Independent Sets |
152
click to vote
FLAIRS
2008
15 years 5 months ago
2008
Unit propagation-based (UP) lower bounds are used in the vast majority of current Max-SAT solvers. However, lower bounds based on UP have seldom been applied in PseudoBoolean Opti...
128
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this work we study the problem of determining the throughput capacity of a wireless network. We propose a scheduling algorithm to achieve this capacity within an approximati...
141
click to vote
SBACPAD
2005
IEEE
15 years 10 months ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
138
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new method to control the delay performance for high rate heterogeneous real-time traffic flows based on a novel traffic control algorithm which is a gene...
146
click to vote
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...