Sciweavers

279 search results - page 26 / 56
» Constructive Interval Disjunction
Sort
View
104
Voted
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 9 months ago
Stability analysis of networked control systems: A sum of squares approach
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
Nicolas William Bauer, Paul J. H. Maas, W. P. M. H...
123
Voted
CRYPTO
2008
Springer
134views Cryptology» more  CRYPTO 2008»
15 years 3 months ago
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
Chris Peikert, Vinod Vaikuntanathan
168
Voted
IPCO
2010
231views Optimization» more  IPCO 2010»
15 years 3 months ago
Branched Polyhedral Systems
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...
Volker Kaibel, Andreas Loos
112
Voted
NIPS
2003
15 years 3 months ago
Boosting versus Covering
We investigate improvements of AdaBoost that can exploit the fact that the weak hypotheses are one-sided, i.e. either all its positive (or negative) predictions are correct. In pa...
Kohei Hatano, Manfred K. Warmuth
OR
2004
Springer
15 years 7 months ago
Freight Flow Consolidation in Presence of Time Windows
This contribution addresses the consideration of time windows in the optimization of multi-commodity network flows. For each node, one interval is specified in which the visitati...
Jörn Schönberger, Herbert Kopfer