Computers - Computer Science

This book constitutes the strictly refereed post-conference proceedings of the International Symposium on Graph Drawing, GD'96, held in Berkeley, California, in September 1996.The 24 revised full papers and the 8 systems demonstrations presented in the book were carefully selected from a total of 50...

This is an exciting time for Artificial Intelligence, and for Natural Language Processing in particular. Over the last five years or so, a newly revived spirit has gained prominence that promises to revitalize the whole field: the spirit of empiricism.This book introduces a new...

This book constitutes the refereed proceedings of the Third European Conference on the Parallel Virtual Machine, EuroPVM '96, the 1996 European PVM users' group meeting, held in Munich, Germany, in October 1996.The parallel virtual machine, PVM, was developed at the University of Tennessee and...

This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96.The 21 revised full papers presented in the book...

This book constitutes the refereed post-conference proceedings of the Second International Algorithmic Number Theory Symposium, ANTS-II, held in Talence, France in May 1996.The 35 revised full papers included in the book were selected from a variety of submissions. They cover a broad spectrum of...

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers...

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments...

This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.The book covers the whole spectrum of methods...

This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linköping, Sweden, in April 1996.The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky...

This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations...

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second- mentioned editor appeared, it was still quite feasible to...

This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient parallel solutions to irregularly structured problems and aims at...

This volume presents the proceedings of the First International workshop on Parallel Scientific Computing, PARA '94, held in Lyngby, Denmark in June 1994.It reports interdisciplinary work done by mathematicians, scientists and engineers working on large-scale computational problems in discussion with computer science specialists in...

This book presents carefully revised versions of tutorial lectures given during a School on Artificial Neural Networks for the industrial world held at the University of Limburg in Maastricht, Belgium.The major ANN architectures are discussed to show their powerful possibilities for empirical data analysis,...

This volume is the proceedings of the fifth International Symposium on Algorithms and Computation, ISAAC '94, held in Beijing, China in August 1994.The 79 papers accepted for inclusion in the volume after a careful reviewing process were selected from a total of almost 200...

This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers...

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the...

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both...

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and...

This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under...

This volume contains the proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science, WG '93, held near Utrecht, The Netherlands, in 1993. The papers are grouped into parts on: hard problems on classes of graphs, structural graph theory, dynamic graph algorithms,...

The papers in this volume were presented at the Second Italian Conference onAlgorithms and Complexity, held in February 1994 in Rome. This biannual conference series is intended to present research contributions in theory and applications of sequential, parallel, and distributed algorithms, data structures, and...

This volume presents the proceedings of the third workshop on Information Systems and Artificial Intelligence, organized by the German Computer Science Society. The 11 invited contributions by well known researchers and developers working in the fields of databases and knowledge representation systems are centered...

This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal...

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book. The authors of the chapters are experts from nuclear, chemical, mechanical, aerospace and defense system industries, and from institutions including universities, national laboratories, private...

This book contains papers presented at a NATO ARW on issues relating to intelligent systems. Topics addressed include analysis and assessment issues, dependability, intelligent front ends, learning systems, safety and reliability of advanced robotic systems, and dependability considerations in industrial applications.Author: Okyay KaynakISBN-10: 3540569936ISBN-13:...

This volume gives the proceedings of ISAAC '92, the Third International Symposium on Algorithms and Computation, held in Nagoya, Japan, December 1992. The first symposium was held in Tokyo in 1990, as the first international symposium organized by SIGAL (Special Interest Groupon Algorithms in...

This volume presents the proceedings of the Sixth Workshop on Distributed Algorithms (WDAG 92), held in Haifa, Israel, November 2-4, 1992. WDAG provides a forum for researchers and other parties interested in distributedalgorithms and their applications. The aim is to present recent research results,...

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic...

This volume contains 10 invited papers and 40 short communications contributed for presentation at the 17th Symposium on Mathematical Foundations of Computer Science, held in Prague, Czechoslovakia, August 24-28, 1992. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has...

This volume contains selected papers from CAAP '92. Topics include algebraic and combinatorial properties of trees and their role in various fields, and other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories.Author: Jean-Claude RaoultISBN-10: 3540552510ISBN-13: 9783540552512Publisher: SpringerLanguage:...

This volume presents the proceedings of the Seventh International Workshop on Computational Geometry. Topics include: the Voronoi diagram, rectangular objects, path determination, moving objects, visibility questions, layout problems, spatial objects and queries, higher dimensions, implementation, and relations to AI.Author: Hanspeter BieriISBN-10: 3540548912ISBN-13: 9783540548911Publisher: SpringerLanguage:...

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms. The workshop was a forum for researchers in distributed algorithms, communication networks, and decentralized systems.Author: Sam TouegISBN-10: 3540552367ISBN-13: 9783540552369Publisher: SpringerLanguage: EnglishPublished: 03/11/1992Pages: 326Format: PaperbackWeight: 1.04lbsSize: 9.21h x 6.14w x 0.70d

This volume presents the proceedings of an international symposium on algorithms held in Taiwan in December 1991. Topics include computational geometry, graph algorithms, complexity theory, parallel algorithms, distributed computing and computational algebra.Author: Wen-Lian HsuISBN-10: 3540549455ISBN-13: 9783540549451Publisher: SpringerLanguage: EnglishPublished: 11/27/1991Pages: 401Format: PaperbackWeight: 1.28lbsSize: 9.21h x...

With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. The exception is an outstanding and lengthy survey paper by Joyal/Street (80 pp) on a growing subject: it gives...

This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.Author: Grzegorz RozenbergISBN-10: 3540543988ISBN-13: 9783540543985Publisher: SpringerLanguage: EnglishPublished: 08/28/1991Pages: 576Format: PaperbackWeight: 1.79lbsSize:...

This volume contains selected papers from the 4th International Workshop on Graph Grammars and Their Application to Computer Science. The topics range from foundations through algorithmic and implementational aspects to various issues that arise in application areas.Author: Hartmut EhrigISBN-10: 354054478XISBN-13: 9783540544784Publisher: SpringerLanguage: EnglishPublished: 09/11/1991Pages:...

These proceedings of ICALP '91 contain papers covering recent research in all areas of theoretical computer science. ICALP is sponsored by EATCS, the European Association for Theoretical Computer Science.Author: Javier Leach AlbertISBN-10: 3540542337ISBN-13: 9783540542339Publisher: SpringerLanguage: EnglishPublished: 06/20/1991Pages: 768Format: PaperbackWeight: 2.38lbsSize: 9.21h x 6.14w x...

These proceedings of CONCUR '90 describe the state of the art in the theory of communicating concurrent (or distributed) systems. CONCUR '90 is the first international conference organized by ESPRIT Basic Research Action 3006 (CONCUR).Author: Joseph C. M. BaetenISBN-10: 3540530487ISBN-13: 9783540530480Publisher: SpringerLanguage: EnglishPublished: 08/15/1990Pages:...

Proceedings 1990 of ICALP, the established conference series on Automata, Languages and Programming. The selected contributions cover all important areas of theoretical computer science.Author: Michael S. PatersonISBN-10: 3540528261ISBN-13: 9783540528265Publisher: SpringerLanguage: EnglishPublished: 07/02/1990Pages: 788Format: PaperbackWeight: 2.42lbsSize: 9.21h x 6.14w x 1.59d

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones....

This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first two successful international workshops in Ottawa (1985) and Amsterdam (1987). This workshop provided a forum for...

This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three...

This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people...

Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer...

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is...

This book constitutes the refereed proceedings of the 28th Symposium of the German Association for Pattern Recognition, DAGM 2006. The book presents 32 revised full papers and 44 revised poster papers together with 5 invited papers. Topical sections include image filtering, restoration and segmentation,...

The papers contained in this volume were presented at the 13th Annual S- posium on Combinatorial Pattern Matching, held July 3-5, 2002 at the Hotel Uminonakamichi, in Fukuoka, Japan. They were selected from 37 abstracts s- mitted in response to the call for papers....

This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants - one third of these coming from industry while the rest...

The ACM Workshop on Security and Privacy in Digital Rights Management is the ?rst scienti?c workshop with refereed proceedings devoted solely to this topic. The workshop was held in conjunction with the Eighth ACM Conference on Computer and Communications Security (CCS-8) in Philadelphia, USA...