Download or read book GWAI 81 written by Jörg Siekmann and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 82 written by W. Wahlster and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 83 written by B. de Neumann and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 84 written by Joachim Laubsch and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 87 11th German Workshop on Artificial Intelligence written by Katharina Morik and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI written by and published by . This book was released on 1987 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Cooperative Interfaces to Information Systems written by Leonard Bolc and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information systems are large repositories of factual and inferential knowledge intended to be queried and maintained by a wide variety of users with different backgrounds and work tasks. The community of potential information system users is growing rapidly with advances in hardware and software technology that permit computer/communications support for more and more application areas. Unfortunately, it is often felt that progress in user interface technology has not quite matched that of other areas. Technical solutions such as computer graphics, natural language processing, or man-machine-man communications in office systems are not enough by themselves. They should be complemented by system features that ensure cooperative behavior of the interfaces, thus reducing the training and usage effort required for successful interaction. In analogy to a human dialog partner, we call an interface cooperative if it does not just accept user requests passively or answer them literally, but actively attempts to understand the users' intentions and to help them solve their applica tion problems. This leads to the central question addressed by this book: What makes an information systems interface cooperative, and how do we provide capabilities leading to cooperative interfaces? Many answers are possible. A first aspect concerns the formulation and accep tance of user requests. Many researchers assume that such requests should be formulated in natural language.

Download or read book Recent Trends in Data Type Specification written by Hans-Jörg Kreowski and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book First European Simulation Congress ESC 83 written by W. Ameling and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 662 pages. Available in PDF, EPUB and Kindle. Book excerpt: Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.

Download or read book Applications and Theory of Petri Nets written by A. Pagnoni and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.

Download or read book Bibliography on Abstract Data Types written by B. Kutzler and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567

Download or read book Data Networks with Satellites written by J. Majus and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 82 6th German Workshop on Artificial Intelligence written by Wolfgang Wahlster and published by . This book was released on 1982 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 85 written by Herbert Stoyan and published by . This book was released on 1986 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computational Logic Logic Programming and Beyond written by Antonis C. Kakas and published by Springer. This book was released on 2003-08-02 with total page 638 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.

Download or read book Application and Theory of Petri Nets written by C. Girault and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,

Download or read book Image Sequence Processing and Dynamic Scene Analysis written by T. S. Huang and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 759 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the NATO Advanced Study Institute on "Image Sequence Processing and Dynamic Scene Analysis" held 21 June - 2 July, 1982 in Hotel Maritim, Braunlage/Harz, Federal Republic of Germany. The organizing eommittee of the institute consists of T.S. Huang (Director), H.G. Musmann (Co Director), H.H. Nagel (Consultant), and C.E. Liedtke and W. Geuen (Local 'arrangement). This Institute was devoted to the rapidly emerging field of image sequence processing and dynamic scene analysis which has man! important applications in cluding target tracking, television bandwidth compression, highway traffic moni toring, and analysis of heart wall motion for medical diagnosis. The lectures and discussions in this Institute fell into three overlapping categories: Motion estimation; pattern recognition and artificial intelligence techniques in dynamic scene analysis; and, applications. 1) Motion estimation - One of the most important problems in image sequence analysis and dynamic scene analysis is displacement and motion estimation. For example, in interframe coding using temporal DPCM, displacement estimation and compensation can improve efficiency significantly. Also, estimated motion parameters can be powerful cues in target segmentation, detection, and classification. In this Institute, a number of recently developed techniques for displacement and motion estimation were discussed.