Sciweavers

29 search results - page 3 / 6
» siamcomp 2000
Sort
View
SIAMCOMP
2000
85views more  SIAMCOMP 2000»
14 years 11 months ago
Binary Space Partitions for Fat Rectangles
We consider the practical problem of constructing binary space partitions (BSPs) for a set S of n orthogonal, nonintersecting, two-dimensional rectangles in R3 such that the aspect...
Pankaj K. Agarwal, Edward F. Grove, T. M. Murali, ...
SIAMCOMP
2000
86views more  SIAMCOMP 2000»
14 years 11 months ago
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
Maria Luisa Bonet, Juan Luis Esteban, Nicola Gales...
SIAMCOMP
2000
88views more  SIAMCOMP 2000»
14 years 11 months ago
On a Conjecture by Coffman, Flatto, and Wright on Stochastic Machine Minimization
We investigate a conjecture stated by Coffman, Flatto, and Wright within the context of a stochastic machine minimization problem with a hard deadline. We prove that the conjecture...
Nah-Oak Song, Demosthenis Teneketzis
SIAMCOMP
2000
99views more  SIAMCOMP 2000»
14 years 11 months ago
Squarish k-d Trees
We modify the k-d tree on [0, 1]d by always cutting the longest edge instead of rotating through the coordinates. This modification makes the expected time behavior of lowerdimensi...
Luc Devroye, Jean Jabbour, Carlos Zamora-Cura
SIAMCOMP
2000
118views more  SIAMCOMP 2000»
14 years 11 months ago
On Bipartite Drawings and the Linear Arrangement Problem
The bipartite crossing number problem is studied, and a connection between this problem and the linear arrangement problem is established. It is shown that when the arboricity is ...
Farhad Shahrokhi, Ondrej Sýkora, Lás...