Computing and Combinatorics

Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.
1997
ISBN: 978-3-540-63357-0
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 1276, 524 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1650 g

Reihe: Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the Third Annual International Computing and Combinatorics Conference, COCOON'97, held in Shanghai, China, in August 1997.
The volume presents 53 revised full papers selected from a total of 106 submissions. The papers are organized in sections on parallel and distributed computing, computational geometry, complexity, computational biology, computability, cryptography and computational finance, graph algorithms, algorithms, rewriting and logic, algorithms and applications, automata languages and complexity, and mathematical programming and genetic algorithms.

Zielgruppe

Research

Autoren/Hrsg.

Lee, D. T.

Jiang, Tao

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Grafikprogrammierung
• Mathematik | Informatik Mathematik Operations Research Graphentheorie
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Algebra Elementare Algebra
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte

Inhaltsverzeichnis

Conflict-free access to templates of trees and hypercubes in parallel memory systems.- Many-to-one packet routing via matchings.- A multi-tree generating routing scheme using acyclic orientations.- An algorithm for Heilbronn's problem.- Optimal multiresolution polygonal approximation.- Constructing a strongly convex superhull of points.- Fast range searching with Delaunay Triangulations.- Resolution of Hartmanis' conjecture for NL-hard sparse sets.- Can large fanin circuits perform reliable computations in the presence of noise?.- On set systems with restricted intersections modulo a composite number.- Size and variable ordering of OBDDs representing threshold functions.- The performance of neighbor-joining algorithms of phylogeny reconstruction.- Inferring evolutionary trees with strong combinatorial evidence.- Parsimony is hard to beat!.- On the complexity of computing evolutionary trees.- Computable invariance.- Subclasses of computable real valued functions.- Computability on continuous, lower semi-continuous and upper semi-continuous real functions.- Contrast-optimal k out of n secret sharing schemes in visual cryptography.- A Rabin-type scheme based on y 2 ? x 3 + bx 2 mod n.- Optimal bidding algorithms against cheating in multiple-object auctions.- Spring algorithms and symmetry.- Generalized vertex-rankings of partial k-trees.- A selected tour of the theory of identification matrices.- Efficient domination on permutation graphs and trapezoid graphs.- On physical mapping algorithms: An error-tolerant test for the consecutive ones property.- The median problem for breakpoints in comparative genomics.- Fast algorithms for aligning sequences with restricted affine gap penalties.- A matrix representation of phylogenetic trees.- Edge and node searching problems ontrees.- Construction of nearly optimal multiway trees.- Optimal algorithms for circle partitioning.- Hexagonal routing of multiterminal nets.- Design and analysis of parallel set-term unification.- On modularity of completeness in order-sorted term rewriting systems.- A three-valued quantificational logic of context.- A compact storage scheme for fast wavelet-based subregion retrieval.- A declustering algorithm for minimising spatial join cost.- Fixed topology steiner trees and spanning forests with applications in network communications.- A branch-and-bound algorithm for computing node weighted steiner minimum trees.- A complete characterization of repetitive morphisms over the two-letter alphabet.- An algorithm for identifying spliced languages.- The shapes of trees.- Tally languages accepted by alternating multitape finite automata.- Independent spanning trees of chordal rings.- Rearrangeable graphs.- Projective torus networks.- On the 100% rule of sensitivity analysis in linear programming.- Enumerating triangulations for products of two simplices and for arbitrary configurations of points.- Tree structure genetic algorithm with a nourishment mechanism.- An approach to scalability of parallel matrix multiplication algorithms.- Limited acceleration mechanism for cell loss free flow control in ATM networks.- They are just butterflies.- Mutual search.- Eigenvalues, eigenvectors, and graph partitioning.- Corrigendum: Exact learning of subclasses of CDNF formulas with membership queries.