Sciweavers

13306 search results - page 380 / 2662
» Theoretical Computer Science
Sort
View
FSTTCS
2009
Springer
16 years 1 months ago
Using Elimination Theory to construct Rigid Matrices
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
Kumar Abhinav, Satyanarayana V. Lokam, Vijay M. Pa...
FSTTCS
2009
Springer
16 years 1 months ago
The Covering and Boundedness Problems for Branching Vector Addition Systems
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Stéphane Demri, Marcin Jurdzinski, Oded Lac...
FSTTCS
2009
Springer
16 years 1 months ago
A Fine-grained Analysis of a Simple Independent Set Algorithm
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run
Joachim Kneis, Alexander Langer, Peter Rossmanith
MFCS
2005
Springer
16 years 9 days ago
Approximating Polygonal Objects by Deformable Smooth Surfaces
We propose a method to approximate a polygonal object by a deformable smooth surface, namely the t-skin defined by Edelsbrunner [5]
Ho-Lun Cheng, Tony Tan
ICALP
2004
Springer
16 years 6 days ago
Greedy Regular Expression Matching
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
Alain Frisch, Luca Cardelli