3415 search results - page 307 / 683 » Lower bounds on kernelization |
155
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Relaying diversity is a key technology to increase capacity in wireless networks. In this paper, the capacity of a single source-destination wireless channel, aided by a set of...
159
click to vote
ACCV
2007
Springer
16 years 28 days ago
2007
Springer
Strong temporal correlation between adjacent frames of a video signal has been successfully exploited in standard video compression algorithms. In this work, we show that the tempo...
164
click to vote
COLT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Considering one-dimensional continuum-armed bandit problems, we propose an improvement of an algorithm of Kleinberg and a new set of conditions which give rise to improve...
162
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
174
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...