4117 search results - page 595 / 824 » On the Satisfiability of Complex Constraints |
201
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Efficient operation of wireless networks and switches requires using simple (and in some cases distributed) scheduling algorithms. In general, simple greedy algorithms (known a...
199
click to vote
SODA
2010
ACM
15 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...
199
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We consider profit-maximization problems for combinatorial auctions with non-single minded valuation functions and limited supply. We obtain fairly general results that relate the ...
186
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Time Series Data Server (TSDS) is a software package for implementing a server that provides fast supersetting, sub-setting, filtering, and uniform gridding of time series-like dat...
209
click to vote
TWC
2011
15 years 1 months ago
2011
In cognitive radio networks, each cognitive transmission process typically requires two phases: the spectrum sensing phase and data transmission phase. In this paper, we investiga...