Kategoria BISAC: Computers >> Computer Science

The papers contained in this volume were presented at the 18th Annual S- posium on Combinatorial Pattern Matching (CPM 2007) held at the University of Western Ontario, in London, Ontario, Canada from July 9 to 11, 2007. All the papers presented at the conference are original research contri- tions on computational pattern matching and analysis, data compression and compressed text processing, su?x arrays and trees, and computational biology. They were selected from 64 submissions. Each submission was reviewed by at least three reviewers. The committee decided to accept 32 papers. The p-...

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic...

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biology

The refereed proceedings of the 13th Annual International Computing and Combinatorics Conference, COCOON 2007, held in Banff, Canada in July 2007. The 51 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 154 submissions. The papers feature original research works in the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing.

There is a world beyond Turing, as more and more computer researchers are demonstrating, but where would you find out about the current leading edge in unconventional computation? Here, in this fascinating work that is the refereed proceedings of the 6th International Conference on Unconventional Computation, held in Kingston, Canada, in August 2007. The 17 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed.

Running to almost 400 pages, and featuring more than 40 papers, this work on combinatorial optimization and applications will be seen as an important addition to the literature. It constitutes the refereed proceedings of the first International Conference on Combinatorial Optimization and Applications, COCOA 2007, held in Xi'an, China in August of that year. The 29 revised full papers presented together with 8 invited papers and 2 invited presentations were carefully reviewed and selected from 114 submissions and cover both theoretical issues and practical applications.

This book constitutes the refereed proceedings of the 6th International Conference on Artificial Immune Systems, ICARIS 2007, held in Santos, Brazil, August 2007. The papers are organized in topical sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.

This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways. The 17 full papers presented here were carefully reviewed and selected from numerous submissions.

The refereed post-proceedings of the First International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies are presented in this volume. The symposium provided an interdisciplinary forum for researchers to share their discoveries and approaches. The 46 full papers address large data processing problems using different methodologies from major disciplines such as computer science, combinatorics, and statistics.

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 2007. The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.

This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, held in Melbourne, Australia in September 2007. The 27 revised full papers were carefully reviewed from 102 submissions, and they are organized in topical sections on cultural studies, semantics, similarity, mapping and representation, perception and cognition, reasoning and algorithms, navigation and landmarks, as well as uncertainty and imperfection.

The 33rd International Conference Workshop on Graph-Theoretic Concepts in Computer Science (WG 2007) took place in the Conference Center in old castleinDornburgnearJena, Germany, June21 23,2007.Theapproximately80 participants came from various countries all over the world, among them Brazil, Canada, the Czech Republic, France, UK, Greece, Hungary, Italy, Japan, The Netherlands, Norway, Sweden, Taiwan, and the USA. WG 2007 continued the series of 32 previous WG conferences. Since 1975, the WG conference has taken place 20 times in Germany, four times in The Netherlands, twice in Austria as...

This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2007. The nine revised full papers and five invited papers presented were carefully selected for inclusion in the book. The contributed papers included in this volume cover both theoretical as well as applied aspects of stochastic computations with a special focus on investigating the power of randomization in algorithmics.

Springer Book Archives