Limit search to available items
Book Cover
E-book
Author IFIP International Conference on Theoretical Computer Science (2006 : Santiago, Chile)

Title Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 : IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile / edited by Gonzalo Navarro, Leopoldo Bertossi, Yoshiharu Kohayakawa
Published New York : Springer, 2006

Copies

Description 1 online resource (xii, 313 pages) : illustrations
Series International Federation for Information Processing (Series), 1571-5736 ; 209
International Federation for Information Processing (Series) ; 209. 1571-5736
Contents Locality of queries and transformations / Marcelo Arenas -- From informatics to quantum informatics / Jozef Gruska -- RDF as a data model / Claudio Gutiérrez -- Adversarial queueing theory revisited / Marcos Kiwi -- Distributed algorithms for autonomous mobile robots / Nicola Santoro -- Recursion and probability / Mihalis Yannakakis -- Distributed algorithms for autonomous mobile robots / Giuseppe Prencipe, Nicola Santoro -- The unsplittable stable marriage problem / Brian C. Dean, Michel X. Goemans, Nicole Immorlica -- Variations on an ordering theme with constraints / Walter Guttmann, Markus Maucher -- BuST-bundled suffix trees / Luca Bartolussi, Francesco Fabris, Alberto Policriti -- An O(1) solution to the prefix sum problem on a specialized memory architecture / Andrej Brodnik, Johan Karlsson, J. Ian Munro, Andreas Nilsson -- An algorithm to reduce the communication traffic for multi-word searches in a distributed hash table / Yuchi Sei, Kazutaka Matsuzaki, Shinichi Honiden -- Exploring an unknown graph to locate a black hole using tokens / Stefan Dobrev, Paola Flocchini, Ratislav Královič, Nicola Santoro -- Fast cellular automata with restricted inter-cell communication / Martin Kutrib, Andreas Malcher -- Asynchronous distributed components: concurrency and determinacy / Denis Caromel, Ludovic Henrio -- Decidable properties for regular cellular automata / Pietro Di Lena --Symbolic determinisation of extended automata / Thierry Jéron, Hervé Marchand, Vlad Rusu -- Regular hedge model checking / Julien d'Orso, Tayssir Touili -- Completing categorical algebras / Stephen L. Bloom, Zoltán Ésik -- Reusing optimal TSP solutions for locally modified input instances / Hans-Joachim Böckenhauer and others -- Spectral partitioning of random graphs with given expected degrees / Amin Coja-Oghlan, Andreas Goerdt, André Lanka -- A connectivity rating for vertices in networks / Marco Abraham and others -- On PTAS for planar graph problems / Xiuchen Huang, Jianer Chen
Summary International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org
Analysis computertechnieken
computer techniques
computerwetenschappen
computer sciences
computational science
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Notes Copyright by International Federation for Information Processing
Bibliography Includes bibliographical references and author index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
Print version record
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Robots -- Programming.
RDF (Document markup language)
Queuing theory.
Recursion theory.
COMPUTERS -- Reference.
COMPUTERS -- Machine Theory.
COMPUTERS -- Computer Literacy.
COMPUTERS -- Information Technology.
COMPUTERS -- Data Processing.
COMPUTERS -- Computer Science.
COMPUTERS -- Hardware -- General.
Computer science.
Computer networks.
Artificial intelligence.
Informatique.
Queuing theory
RDF (Document markup language)
Recursion theory
Robots -- Programming
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Navarro, Gonzalo, 1969-
Bertossi, Leopoldo.
Kohayakawa, Yoshiharu.
IFIP World Computer Congress (19th : 2006 : Santiago, Chile)
ISBN 9780387347356
0387347356
0387346333
9780387346335
6610724490
9786610724499