Sciweavers

13306 search results - page 380 / 2662
» Theoretical Computer Science
Sort
View
156
Voted
FSTTCS
2009
Springer
16 years 2 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...
170
Voted
FSTTCS
2009
Springer
16 years 2 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...
159
Voted
FSTTCS
2009
Springer
16 years 2 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
149
Voted
MFCS
2005
Springer
16 years 29 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 26 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