3415 search results - page 421 / 683 » Lower bounds on kernelization |
155
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
186
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
The throughput of delay sensitive traffic in a Rayleigh fading network is studied by adopting a scaling limit approach. The case of study is that of a pair of nodes establishing a ...
166
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
191
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of cheating in secret sharing schemes, cheating in which individuals submit forged shares in the secret reconstruction phase in an effort to make another pa...
162
click to vote
COLT
2004
Springer
15 years 10 months ago
2004
Springer
We investigate label efficient prediction, a variant, proposed by Helmbold and Panizza, of the problem of prediction with expert advice. In this variant, the forecaster, after gues...