Bericht (717)

11461.
Bericht
Beier, R.; Sibeyn, J.: A powerful heuristic for telephone gossiping. Max-Planck-Institut für Informatik, Saarbrücken (2000), 23 S.
11462.
Bericht
Choi, S. W.; Seidel, H.-P.: Hyperbolic Hausdorff distance for medial axis transform. Max-Planck-Institut für Informatik, Saarbrücken (2000), 30 S.
11463.
Bericht
Eisenbrand, F.: Short vectors of planar lattices via continued fractions. Max-Planck-Institut für Informatik, Saarbrücken (2000), 10 S.
11464.
Bericht
Fatourou, P.: Low-contention depth-first scheduling of parallel computations with synchronization variables. Max-Planck-Institut für Informatik, Saarbrücken (2000), 56 S.
11465.
Bericht
Kautz, J.; Heidrich, W.; Daubert, K.: Bump map shadows for openGL rendering. Max-Planck-Institut für Informatik, Saarbrücken (2000), 18 S.
11466.
Bericht
Kobbelt, L. P.; Bischoff, S.; Kähler, K.; Schneider, R.; Botsch, M.; Rössl, C.; Vorsatz, J.: Geometric modeling based on polygonal meshes. Max-Planck-Institut für Informatik, Saarbrücken (2000), 52 S.
11467.
Bericht
Mehlhorn, K.; Schirra, S.: A Generalized and improved constructive separation bound for real algebraic expressions. Max-Planck-Institut für Informatik, Saarbrücken (2000), 12 S.
11468.
Bericht
Seel, M.; Mehlhorn, K.: Infimaximal frames: a technique for making lines look like segments. Max-Planck-Institut für Informatik, Saarbrücken (2000), 16 S.
11469.
Bericht
Fourth Biennial Report: April 1997 - April 1999 (Biennial Report / Max-Planck-Institut für Informatik, 4). Max-Planck-Institut für Informatik, Saarbrücken (1999), 254 S.
11470.
Bericht
Bockmayr, A.: Cutting planes and the elementary closure in fixed dimension. Max-Planck-Institut für Informatik, Saarbrücken (1999), 12 S.
11471.
Bericht
Boghossian, N.; Kohlbacher, O.; Lenhof, H.-P.: BALL: Biochemical Algorithms Library. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
11472.
Bericht
Burnikel, C.; Mehlhorn, K.; Seel, M.: A simple way to recognize a correct Voronoi diagram of line segments. Max-Planck-Institut für Informatik, Saarbrücken (1999), 11 S.
11473.
Bericht
Charatonik, W.: Automata on DAG representations of finite trees. Max-Planck-Institut für Informatik, Saarbrücken (1999), 30 S.
11474.
Bericht
Cortier, V.; Ganzinger, H.; Jacquemard, F.; Veanes, M.: Decidable fragments of simultaneous rigid reachability. Max-Planck-Institut für Informatik, Saarbrücken (1999), 19 S.
11475.
Bericht
Crauser, A.; Ferragina, P.: A theoretical and experimental study on the construction of suffix arrays in external memory. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.
11476.
Bericht
Delzanno, G.; Raskin, J.-F.: Symbolic representation of upward-closed sets. Max-Planck-Institut für Informatik, Saarbrücken (1999), 24 S.
11477.
Bericht
Haber, J.; Seidel, H.-P.: A framework for evaluating the quality of lossy image compression. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
11478.
Bericht
Henzinger, T. A.; Raskin, J.-F.; Schobbens, P.-Y.: Axioms for real-time logics. Max-Planck-Institut für Informatik, Saarbrücken (1999), 31 S.
11479.
Bericht
Henzinger, T. A.; Raskin, J.-F.; Schobbens, P.-Y.: Fully decidable logics, automata and classical theories for defining regular real-time languages. Max-Planck-Institut für Informatik, Saarbrücken (1999), 102 S.
11480.
Bericht
Nissen, M.: Integration of graph iterators into LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1999), 39 S.
Zur Redakteursansicht