GWAI-81
Author: Jörg Siekmann
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 332
ISBN-13: 3662023288
DOWNLOAD EBOOK →Lanterna Rally
eBook PDF Download Digital Library
GWAI-82
Author: W. Wahlster
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 253
ISBN-13: 3642688268
DOWNLOAD EBOOK →GWAI-83
Author: B. de Neumann
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 248
ISBN-13: 3642693911
DOWNLOAD EBOOK →GWAI-84
Author: Joachim Laubsch
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 292
ISBN-13: 3642465463
DOWNLOAD EBOOK →GWAI-87 11th German Workshop on Artificial Intelligence
Author: Katharina Morik
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 416
ISBN-13: 3642730051
DOWNLOAD EBOOK →GWAI ...
Cooperative Interfaces to Information Systems
Author: Leonard Bolc
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 336
ISBN-13: 3642828159
DOWNLOAD EBOOK →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.
Recent Trends in Data Type Specification
Author: Hans-Jörg Kreowski
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 262
ISBN-13: 3662096919
DOWNLOAD EBOOK →First European Simulation Congress ESC 83
Author: W. Ameling
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 662
ISBN-13: 3642692958
DOWNLOAD EBOOK →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.
Applications and Theory of Petri Nets
Author: A. Pagnoni
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 323
ISBN-13: 3642690289
DOWNLOAD EBOOK →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.
