Computers - Computer Science

This book constitutes the refereed proceedings of the 10th European Conference on Machine Learning, ECML-98, held in Chemnitz, Germany, in April 1998.The book presents 21 revised full papers and 25 short papers reporting on work in progress together with two invited contributions; the papers...

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The...

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Graphics Recognition, GREC'97, held in Nancy, France, in August 1997. The 34 thoroughly revised full papers presented were carefully selected for inclusion in the book on the basis of a...

This book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97, held in Singapore in December 1997. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole...

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques...

This manual documents the outcome of the EC sponsored project RACE Integrity Primitives Evaluation (R1040), RIPE. This project is a huge joint 350 man-month project conducted by 16 leading European security experts.This book offers expert advice to professionals seeking to secure information systems by...

This book constitutes the refereed proceedings of the Second International Workshop on Memory Management, IWMM '95, held in Kinross, Scotland, in September 1995. It contains 17 full revised papers on all current aspects of memory management; among the topics addressed are garbage collection for...

This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures, WADS '95, held in Kingston, Canada in August 1995.The book presents 40 full refereed papers selected from a total of 121 submissions together with invited papers by Preparata and...

This book constitutes the proceedings of the 1994 Workshop on the Theory and Application of Cryptographic Techniques, EUROCRYPT '94, held in Perugia, Italy in May 1994.The 36 revised full papers presented in the book are selected from 137 submissions and address all current research...

This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of...

This volume presents the refereed proceedings of the First Algorithmic Number Theory Symposium, ANTS-I, held at Cornell University, Ithaca, NY in May 1994.The 35 papers accepted for inclusion in this book address many current issues of algorithmic, computational and complexity-theoretic aspects of number theory...

This volume presents the proceedings of the International COST 237 Workshop, held in Vienna in November 1994 in the framework of the CEC COST 237 Multimedia Telecommunications Services Projects.The 24 papers presented in revised version were selected from 46 submissions; they are organized in...

This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International Workshop on Algorithmic Learning Theory (ALT '94), held jointly at Reinhardsbrunn Castle, Germany in October 1994. (In future the AII and ALT workshops...

This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon, France in July 1994.Ordered sets and the more specifically algorithmic aspects of order theory are of increasing importance, for example in graph theory. They enjoy a...

This volume presents the proceedings of the Fifth Annual Symposium on Combinatorial Pattern Matching, held at Asilomar, California, in June 1994. The 26 selected papers in this volume are organized in chapters on Alignments, Various Matchings, Combinatorial Aspects, and Bio-Informatics. Combinatorial Pattern Matching addresses...

The Global System for Mobile Communication met with wide acceptance in 1993. Its technical conception has significant advantages over the first generation of cellular systems. Digital European Cordless Telecommunications will provide similar advantages. In Europe, the second generation of wireless communication is established and...

Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a...

Research in the field of parallel computer architectures and parallel algorithms has been very successful in recent years, and further progress isto be expected. On the other hand, the question of basic principles of the architecture of universal parallel computers and their realizations is...

This volume collects the papers presented at the first international conference dedicated to spatial and temporal reasoning in geographic space, entitled "GIS: from space to territory - theories and methods of spatio-temporal reasoning". Within the National Center for Geographic Information and Analysis (NCGIA, one...

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory...

This volume contains the proceedings of the Fourth Workshop on Languages andCompilers for Parallel Computing, held in Santa Clara, California, in August1991. The purpose of the workshop, held every year since 1988, is to bring together the leading researchers on parallel programming language designand...

This volume is the proceedings of LATIN '92, the first of an intended series of symposia on theoretical informatics in a Latin American context. It includes ten invited papers by distinguished guest lecturers as well as numerous selected contributions.Author: Imre SimonISBN-10: 3540552847ISBN-13: 9783540552840Publisher: SpringerLanguage:...

This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited papers and 25 contributed papers selected from 78 submissions by authors from many different countries reflect...

This volume contains selected papers from FCT '91. Topics covered include: semantics and logical concepts, automata and formal languages, computational geometry, complexity, algorithms, and counting and combinatorics.Author: Lothar BudachISBN-10: 3540544585ISBN-13: 9783540544586Publisher: SpringerLanguage: EnglishPublished: 08/28/1991Pages: 432Format: PaperbackWeight: 1.37lbsSize: 9.21h x 6.14w x 0.91d

These are the proceedings of the 8th AAECC conference, held in Tokyo in August 1990. Researchers from around the world present new results of recent theoretical and application-oriented research on applied algebra, algebraic algorithms and error-correcting codes.Author: Shojiro SakataISBN-10: 3540541950ISBN-13: 9783540541950Publisher: SpringerLanguage: EnglishPublished: 07/10/1991Pages:...

This volume gives the proceedings of WG '90, organized into sections on: Graph algorithms and complexity, VLSI layout, Multiprocessor systems and concurrency, Computational geometry, Graphs, languages and databases, Graph grammars.Author: Rolf H. MöhringISBN-10: 3540538321ISBN-13: 9783540538325Publisher: SpringerLanguage: EnglishPublished: 04/24/1991Pages: 367Format: PaperbackWeight: 1.17lbsSize: 9.21h x 6.14w...

The papers in this book discuss technologies relevant to expert systems in engineering and describe applications of these technologies in such areas as computer integrated manufacturing and process automation.Author: Georg GottlobISBN-10: 3540531041ISBN-13: 9783540531043Publisher: SpringerLanguage: EnglishPublished: 09/12/1990Pages: 264Format: PaperbackWeight: 0.86lbsSize: 9.21h x 6.14w x 0.58d

Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, describing original research on algorithms and data structures in all areas, including combinatorics, computational geometry, parallel computing, and graph theory.Author: John R. GilbertISBN-10: 3540528466ISBN-13: 9783540528463Publisher: SpringerLanguage: EnglishPublished: 07/02/1990Pages: 417Format: PaperbackWeight: 1.33lbsSize: 9.21h x 6.14w x...

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.Author: Grzegorz...

The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various aspects of the theory of finite automata and its applications. Advances made...

Author: Jean-Daniel BoissonnatISBN-10: 3540516832ISBN-13: 9783540516835Publisher: SpringerLanguage: EnglishPublished: 10/11/1989Pages: 415Format: PaperbackWeight: 1.48lbsSize: 9.61h x 6.69w x 0.86d

The International Workshop CG '88 on "Computational Geometry" was held at the University of Würzburg, FRG, March 24-25, 1988. As the interest in the fascinating field of Computational Geometry and its Applications has grown very quickly in recent years the organizers felt the need...

This book constitutes the refereed proceedings of the 5th International Conference on Cryptology and Network Security, CANS 2006, held in Suzhou, China, December 2006. The 26 revised full papers and 2 invited papers cover encryption, authentication and signatures, proxy signatures, cryptanalysis, implementation, steganalysis and...

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive...

This book constitutes the refereed preceedings of the 13th European Conference on Machine Learning, ECML 2002, held in Helsinki, Finland in August 2002.The 41 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. Among the topics...

With their introduction in 1995, Support Vector Machines (SVMs) marked the beginningofanewerainthelearningfromexamplesparadigm.Rootedinthe Statistical Learning Theory developed by Vladimir Vapnik at AT&T, SVMs quickly gained attention from the pattern recognition community due to a n- beroftheoreticalandcomputationalmerits.Theseinclude, forexample, the simple geometrical interpretation of the margin, uniqueness...

This book constitutes the refereed proceedings of the 8th Scandinavian Workshop on Algorithm Theory, SWAT 2002, held in Turku, Finland, in July 2002.The 43 revised full papers presented together with two invited contributions were carefully reviewed and selected from 103 submissions. The papers are...

SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal program of the symposium. Stochastic algorithms constitute a...

This book contains the papers presented at CG2000 - the Second International ConferenceonComputersandGames-heldattheCURREACCenterinHa- matsu, Japan, on October 26-28, 2000. The CG conferences provide an international forum for researchers working on any aspect of computers and games to meet and exchange information on the latest...

Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing. This coherent anthology presents 27 state-of-the-art surveys and research papers on...

Underlying most of the IWANN calls for papers is the aim to reassume some of the motivations of the groundwork stages of biocybernetics and the later bionics formulations and to try to reconsider the present value of two basic questions. The?rstoneis: "Whatdoesneurosciencebringintocomputation(thenew bionics)?" That...

In very short time, peer-to-peer computing has evolved from an attractive new paradigm into an exciting and vibrant research field bringing together researchers from systems, networking, and theory. This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Peer-to-Peer Systems, IPTPS...

Recently, we have seen a steep increase in the popularity and adoption of XML, in areas such as traditional databases, e-business, the scientific environment, and on the web. Querying XML documents and data efficiently is a challenging issue; this book approaches search on XML...

Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This...

The International Symposium on Smart Graphics 2003 was held on July 2-4, 2003 in Heidelberg, Germany. It was the fourth event in a series that started in 1999 as an AAAI Spring Symposium. In response to the overwhelming success of the 1999 symposium, its...

This book constitutes the refereed proceedings of the 8th Australasian Conference on Information Security and Privacy, ACISP 2003, held in Wollongong, Australia, in July 2003. The 42 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 158 submissions....

This book constitutes the refereed proceedings of the 4th International Workshop on Multiple Classifier Systems, MCS 2003, held in Guildford, UK in June 2003. The 40 revised full papers presented with one invited paper were carefully reviewed and selected for presentation. The papers are...

Here are the refereed proceedings of the 6th International Workshop on Algorithms in Bioinformatics, WABI 2006, held in the course of the ALGO 2006 conference meetings. The book presents 36 revised full papers addressing all current issues of algorithms in bioinformatics, from mathematical tools...

The Second International Workshop on Parameterized and Exact Computation (IWPEC) was held in Zu ]rich, Switzerland, during September 13-15, 2006. It th was organized as a component of ALGO 2006, which also hosted the 14 - th nual European Symposium on Algorithms, the 6...

The field of bioinformatics has two main objectives: the creation and maintenance of biological databases, and the discovery of knowledge from life sciences data in order to unravel the mysteries of biological function, leading to new drugs and therapies for human disease. Life sciences...