Sciweavers

2430 search results - page 238 / 486
» Computing Tutte Polynomials
Sort
View
COLING
2000
15 years 5 months ago
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
Sylvain Pogodalla
SODA
2000
ACM
106views Algorithms» more  SODA 2000»
15 years 5 months ago
Algorithms for optimizing production DNA sequencing
We discuss the problem of optimally "finishing" a partially sequenced, reconstructed DNA segment. At first sight, this appears to be computationally hard. We construct a...
Éva Czabarka, Goran Konjevod, Madhav V. Mar...
SODA
1992
ACM
179views Algorithms» more  SODA 1992»
15 years 5 months ago
Approximating the Minimum Weight Triangulation
We show that the length of the minimum weight Steiner triangulation (MWST) of a point set can be approximated within a constant factor by a triangulation algorithm based on quadtr...
David Eppstein
FSTTCS
2008
Springer
15 years 5 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn
AAECC
2007
Springer
98views Algorithms» more  AAECC 2007»
15 years 4 months ago
Parametrizing compactly supported orthonormal wavelets by discrete moments
We discuss parametrizations of filter coefficients of scaling functions and compactly supported orthonormal wavelets with several vanishing moments. We introduce the first discr...
Georg Regensburger