1291 search results - page 175 / 259 » Optimally switched linear systems |
FOCS
1999
IEEE
14 years 4 days ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howe...
TWC
2008
13 years 7 months ago
2008
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
Object replication is a common approach to enhance the availability of distributed data-intensive services and storage systems. Many such systems are known to have highly skewed o...
TMI
2011
13 years 2 months ago
2011
—In this paper, we propose a novel predictive model, active volume model (AVM), for object boundary extraction. It is a dynamic “object” model whose manifestation includes a ...