Sciweavers

FCT
2005
Springer
14 years 4 months ago
On the Black-Box Complexity of Sperner's Lemma
We present several results on the complexity of various forms of Sperner’s Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over ...
Katalin Friedl, Gábor Ivanyos, Miklos Santh...
FCT
2005
Springer
14 years 4 months ago
The Delayed k-Server Problem
Wolfgang W. Bein, Kazuo Iwama, Lawrence L. Larmore...
FCT
2005
Springer
14 years 4 months ago
Completeness and Compactness of Quantitative Domains
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets direct...
Pawel Waszkiewicz
FCT
2005
Springer
14 years 4 months ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
FCT
2005
Springer
14 years 4 months ago
On the Power of Unambiguity in Alternating Machines
Unambiguity in alternating Turing machines has received considerable attention in the context of analyzing globally-unique games by Aida et al. [ACRW04] and in the design of effic...
Holger Spakowski, Rahul Tripathi
FCT
2005
Springer
14 years 4 months ago
Adaptive Zooming in Point Set Labeling
A set of points shown on the map usually represents special sites like cities or towns in a country. If the map in the interactive geographical information system (GIS) is browsed ...
Sheung-Hung Poon, Chan-Su Shin
FCT
2005
Springer
14 years 4 months ago
Generic Density and Small Span Theorem
We refine the genericity concept of Ambos-Spies, by assigning a real number in [0, 1] to every generic set, called its generic density. We construct sets of generic density any E...
Philippe Moser
FCT
2005
Springer
14 years 4 months ago
On the Incompressibility of Monotone DNFs
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
Matthias P. Krieger
FCT
2005
Springer
14 years 4 months ago
Leftist Grammars and the Chomsky Hierarchy
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
Tomasz Jurdzinski, Krzysztof Lorys