Published: Springer, 2008
Description:
1 online resource (xiv, 626 pages) : illustrations.
Contents:
“…Invited Papers -- One Useful Logic That
Defines Its Own Truth -- On Synchronous and Asynchronous Interaction in
Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers and Pyramids -- The Maximum Independent Set Problem in
Planar Graphs -- When Ignorance Helps: Graphical Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive Queries over Trees Using Schema Information -- Clustering with Partial Information -- Reoptimization of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for
Computing Linear Forms -- Flip Algorithm for Segment Triangulations --
Computing Sharp 2-Factors in Claw-Free Graphs -- A 6/5-Approximation Algorithm for the Maximum 3-Cover Problem -- Positional Strategies for Higher-Order Pushdown Parity Games -- Arthur and Merlin as Oracles -- A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems -- Regional Languages and Tiling: A Unifying Approach to Picture Grammars -- On a Special Class of Primitive Words -- Complexity of Data Tree Patterns over XML Documents -- A PTAS for the Sparsest Spanners Problem on Apex-Minor-Free Graphs --
Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems -- Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control -- Reversal-Bounded Counter Machines Revisited -- Iterative Compression and Exact Algorithms -- Complexity and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions with Interleaving, Intersection and Counting -- Nilpotency and Limit Sets of Cellular Automata -- A Note on k-Colorability of P 5-Free Graphs -- Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations -- Lower Bounds for Syntactically Multilinear Algebraic Branching Programs -- Periodicity and Immortality in Reversible
Computing -- Step-Out Ring Signatures -- The Height of Factorization Forests -- Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae -- Smoothed Analysis of Binary Search Trees and Quicksort under Additive Noise -- From?…”
Call Number:
Loading…
Located:
Loading…
SpringerLink - Click here for access
Conference Proceeding
eBook