Sciweavers

258 search results - page 30 / 52
» New Lower Bounds for Heilbronn Numbers
Sort
View
STOC
2006
ACM
121views Algorithms» more  STOC 2006»
14 years 7 months ago
Narrow proofs may be spacious: separating space and width in resolution
The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if...
Jakob Nordström
DNA
2007
Springer
14 years 1 months ago
Staged Self-assembly: Nanomanufacture of Arbitrary Shapes with O (1) Glues
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
Erik D. Demaine, Martin L. Demaine, Sándor ...
SODA
2004
ACM
118views Algorithms» more  SODA 2004»
13 years 9 months ago
The maximum latency of selfish routing
We give several new upper and lower bounds on the worst-case severity of Braess's Paradox and the price of anarchy of selfish routing with respect to the maximum latency obje...
Tim Roughgarden
FOCS
1995
IEEE
13 years 11 months ago
Tracking the Best Disjunction
Abstract. Littlestone developed a simple deterministic on-line learning algorithm for learning k-literal disjunctions. This algorithm (called Winnow) keeps one weight for each of t...
Peter Auer, Manfred K. Warmuth
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 7 months ago
A Faster Algorithm for Quasi-convex Integer Polynomial Optimization
We present a faster exponential-time algorithm for integer optimization over quasi-convex polynomials. We study the minimization of a quasiconvex polynomial subject to s quasi-con...
Robert Hildebrand, Matthias Köppe