Bericht (717)
11701.
Bericht
Harmonic analysis, real approximation, and the communication complexity of Boolean functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 15 S.
11702.
Bericht
MOD m gates do not help on the ground floor. Max-Planck-Institut für Informatik, Saarbrücken (1993), 13 S.
11703.
Bericht
Multi-party protocols and spectral norms. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.
11704.
Bericht
On Intersection Searching Problems Involving Curved Objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.
11705.
Bericht
Efficient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
11706.
Bericht
Optimal parallel string algorithms: sorting, merching and computing the minimum. Max-Planck-Institut für Informatik, Saarbrücken (1993), 25 S.
11707.
Bericht
Generalized topological sorting in linear time. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
11708.
Bericht
Lazy unification with inductive simplification. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 S.
11709.
Bericht
A debugging model for functional logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
11710.
Bericht
Solving simplifications ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1993), 16 S.
11711.
Bericht
New techniques for exact and approximate dynamic closest-point problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.
11712.
Bericht
Coloring k-colorable graphs in constant expected parallel time. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
11713.
Bericht
Expected complexity of graph partitioning problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 16 S.
11714.
Bericht
Broadcasting through a noisy one-dimensional network. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
11715.
Bericht
Randomized incremental construction of abstract Voronoi diagrams. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.
11716.
Bericht
A theory and its metatheory in FS 0. Max-Planck-Institut für Informatik, Saarbrücken (1993), 22 S.
11717.
Bericht
A Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron. Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis, France (1993)
11718.
Bericht
An implementation of the Hopcroft and Tarjan planarity test and embedding algorithm. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 S.
11719.
Bericht
Tail estimates for the efficiency of randomized incremental algorithms for line segment intersection. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.
11720.
Bericht
Maintaining dynamic sequences under equality-tests in polylogorithmic time. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.