Algorithms and Computation

About this book

Algorithms and Computation: 9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings Author: Kyung-Yong Chwa, Oscar H. Ibarra Published by Springer Berlin Heidelberg ISBN: 978-3-540-65385-1 DOI: 10.1007/3-540-49381-6 Table of Contents: The Discrepancy Method Implementing Algorithms and Data Structures: An Educational and Research Perspective L∞ Voronoi Diagrams and Applications to VLSI Layout and Manufacturing Facility Location on Terrains Computing Weighted Rectilinear Median and Center Set in the Presence of Obstacles Maximizing Agreement with a Classification by Bounded or Unbounded number of Associated Words Disjunctions of Horn Theories and Their Cores Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently While Concealing It Two-Layer Planarization in Graph Drawing Computing Orthogonal Drawings in a Variable Embedding Setting Dynamic Grid Embedding with Few Bends and Changes Two New Families of List Update Algorithms An Optimal Algorithm for On-Line Palletizing at Delivery Industry On-Line Scheduling of Parallel Jobs with Runtime Restrictions Testing the Quality of Manufactured Disks and Cylinders Casting with Skewed Ejection Direction Repairing Flaws in a Picture Based on a Geometric Representation of a Digital Image k-Edge and 3-Vertex Connectivity Augmentation in an Arbitrary Multigraph Polyhedral Structure of Submodular and Posi-modular Systems Maximizing the number of Connections in Optical Tree Networks