80 search results - page 15 / 16 » Data reduction and exact algorithms for clique cover |
SODA
2010
ACM
13 years 5 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
MICS
2010
13 years 2 months ago
2010
We describe the algorithms and implementation details involved in the concretizations of a generic framework that enables exact construction, maintenance, and manipulation of arran...
NTMS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Performance of Wireless Sensor Networks (WSNs) can be affected when the network is deployed under different topologies. In this paper we present a performance study of congesti...
EDBT
2009
ACM
13 years 11 months ago
2009
ACM
We propose efficient techniques for processing various TopK count queries on data with noisy duplicates. Our method differs from existing work on duplicate elimination in two sign...
DSRT
2008
IEEE
13 years 9 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...