Sciweavers

537 search results - page 56 / 108
» A new upper bound for 3-SAT
Sort
View
COMPGEOM
1991
ACM
15 years 1 months ago
Arrangements of Segments that Share Endpoints: Single Face Results
We provide new combinatorial bounds on the complexity of a face in an arrangement of segments in the plane. In particular, we show that the complexity of a single face in an arran...
Esther M. Arkin, Dan Halperin, Klara Kedem, Joseph...
COMPGEOM
2010
ACM
15 years 1 months ago
Tangencies between families of disjoint regions in the plane
Let C be a family of n convex bodies in the plane, which can be decomposed into k subfamilies of pairwise disjoint sets. It is shown that the number of tangencies between the memb...
János Pach, Andrew Suk, Miroslav Treml
FM
2008
Springer
148views Formal Methods» more  FM 2008»
14 years 11 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
CCCG
2007
14 years 11 months ago
Approximations of Geodesic Distances for Incomplete Triangular Manifolds
We present a heuristic algorithm to compute approximate geodesic distances on a triangular manifold S containing n vertices with partially missing data. The proposed method comput...
Zouhour Ben Azouz, Prosenjit Bose, Chang Shu, Stef...
SODA
2004
ACM
104views Algorithms» more  SODA 2004»
14 years 11 months ago
Variable length path coupling
We present a new technique for constructing and analyzing couplings to bound the convergence rate of finite Markov chains. Our main theorem is a generalization of the path couplin...
Thomas P. Hayes, Eric Vigoda