1291 search results - page 175 / 259 » Optimally switched linear systems |
156
Voted
FOCS
1999
IEEE
15 years 7 months 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...
108
Voted
MM
2006
ACM
15 years 9 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...
123
click to vote
TWC
2008
15 years 3 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...
121
Voted
EUROSYS
2008
ACM
16 years 15 days 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...
157
Voted
TMI
2011
14 years 10 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 ...