Parle 91
Download Parle 91 full books in PDF, epub, and Kindle. Read online free Parle 91 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : Pedro Barahona |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 308 |
| Release | : 1991-09-23 |
| Genre | : Computers |
| ISBN | : 9783540545354 |
The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.
| Author | : Alfonso Fuggetta |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 536 |
| Release | : 1991-10-09 |
| Genre | : Computers |
| ISBN | : 9783540547426 |
The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.
| Author | : Lothar Budach |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 444 |
| Release | : 1991-08-28 |
| Genre | : Computers |
| ISBN | : 9783540544586 |
This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry, cryptography, - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts), - Algorithms (efficient, probabilistic, parallel, sequential, distributed), - Counting and combinatorics in connection with mathematical computer science. The proceedings of previous FCT meetings are available as Lecture Notes in Computer Science (Vols. 380, 278, 199, 158, 117, 56).
| Author | : Jan Małuszyński |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 452 |
| Release | : 1991-08-14 |
| Genre | : Computers |
| ISBN | : 9783540544449 |
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.
| Author | : Jozef Gruska |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 810 |
| Release | : 1986-08-01 |
| Genre | : Computers |
| ISBN | : 9783540167839 |
| Author | : Frank Dehne |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 518 |
| Release | : 1991-07-24 |
| Genre | : Computers |
| ISBN | : 9783540543435 |
This volume presents the proceedings of the Second Workshop on Algorithms and Data Structures (WADS '91), held at Carleton University in Ottawa. The workshop was organized by the School of Computer Science at Carleton University. The workshop alternates with the Scandinavian Workshop on Algorithm Theory (SWAT), continuing the tradition of SWAT '88 (LNCS, Vol. 318), WADS '89 (LNCS, Vol. 382), and SWAT '90 (LNCS, Vol. 447). From 107 papers submitted, 37 were selected for presentation at the workshop. In addition, there were 5 invited presentations.
| Author | : Kim G. Larsen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 504 |
| Release | : 1992-04-22 |
| Genre | : Computers |
| ISBN | : 9783540551799 |
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.
| Author | : Gerard Cohen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 410 |
| Release | : 1991-07-24 |
| Genre | : Computers |
| ISBN | : 9783540543039 |
This book presents a selection of the papers presented at EUROCODE '90, the symposium on coding theory held in Udine, Italy, November 1990. It gives the state of the art on coding in Europe and ranges from theoretical top- ics like algebraic geometry and combinatorial coding to applications like modulation, real-space decoding and VLSI implementation. The book is divided into eight sections: - Algebraic codes - Combinatorial codes - Geometric codes - Protection of information - Convolutional codes - Information theory - Modulation - Applications of coding. Five of the sections are introduced by an invited contribution.
| Author | : Henk Alblas |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 536 |
| Release | : 1991-10-23 |
| Genre | : Computers |
| ISBN | : 9783540545729 |
Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars.
| Author | : Hanspeter Bieri |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 340 |
| Release | : 1991-11-13 |
| Genre | : Computers |
| ISBN | : 9783540548911 |
Radiocarbon After Four Decades: An Interdisciplinary Perspective commemorates the 40th anniversary of radiocarbon dating. The volume presents discussions of every aspect of this dating technique, as well as chronicles of its development and views of future advancements and applications. All of the 64 authors played major roles in establishment, development or application of this revolutionary scientific tool. The 35 chapters provide a solid foundation in the essential topics of radiocarbon dating: Historical Perspectives; The Natural Carbon Cycle; Instrumentation and Sample Preparation; Hydrology; Old World Archaeology; New World Archaeology; Earth Sciences; and Biomedical Applications.
