Sciweavers

STACS
2007
Springer
13 years 9 months ago
Hard Metrics from Cayley Graphs of Abelian Groups
: Hard metrics are the class of extremal metrics with respect to embedding into Euclidean spaces: they incur Ω(logn) multiplicative distortion, which is as large as it can possib...
Ilan Newman, Yuri Rabinovich
STACS
2007
Springer
13 years 9 months ago
Universal Tilings
Grégory Lafitte, Michael Weiss
STACS
2007
Springer
13 years 9 months ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung
STACS
2007
Springer
13 years 9 months ago
Computing Representations of Matroids of Bounded Branch-Width
For every k ≥ 1 and two finite fields F and F , we design a polynomial-time algorithm that given a matroid M of branch-width at most k represented over F decides whether M is ...
Daniel Král
STACS
2007
Springer
13 years 9 months ago
VPSPACE and a Transfer Theorem over the Reals
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...
Pascal Koiran, Sylvain Perifel
STACS
2007
Springer
13 years 9 months ago
Characterizing Minimal Interval Completions
Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve...