Author: Jörg Siekmann
Publisher: Springer Science & Business Media
ISBN: 3662023288
Category : Computers
Languages : en
Pages : 332
Book Description
GWAI-81
Author: Jörg Siekmann
Publisher: Springer Science & Business Media
ISBN: 3662023288
Category : Computers
Languages : en
Pages : 332
Book Description
Publisher: Springer Science & Business Media
ISBN: 3662023288
Category : Computers
Languages : en
Pages : 332
Book Description
GWAI-82
Author: W. Wahlster
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : en
Pages : 253
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : en
Pages : 253
Book Description
GWAI-83
Author: B. de Neumann
Publisher: Springer Science & Business Media
ISBN: 3642693911
Category : Computers
Languages : en
Pages : 248
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642693911
Category : Computers
Languages : en
Pages : 248
Book Description
GWAI-84
Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
Cooperative Interfaces to Information Systems
Author: Leonard Bolc
Publisher: Springer Science & Business Media
ISBN: 3642828159
Category : Computers
Languages : en
Pages : 336
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642828159
Category : Computers
Languages : en
Pages : 336
Book Description
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
ISBN: 3662096919
Category : Computers
Languages : en
Pages : 262
Book Description
Publisher: Springer Science & Business Media
ISBN: 3662096919
Category : Computers
Languages : en
Pages : 262
Book Description
First European Simulation Congress ESC 83
Author: W. Ameling
Publisher: Springer Science & Business Media
ISBN: 3642692958
Category : Computers
Languages : en
Pages : 662
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642692958
Category : Computers
Languages : en
Pages : 662
Book Description
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
ISBN: 3642690289
Category : Computers
Languages : en
Pages : 323
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642690289
Category : Computers
Languages : en
Pages : 323
Book Description
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.
Bibliography on Abstract Data Types
Author: B. Kutzler
Publisher: Springer Science & Business Media
ISBN: 3642690327
Category : Computers
Languages : en
Pages : 201
Book Description
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Publisher: Springer Science & Business Media
ISBN: 3642690327
Category : Computers
Languages : en
Pages : 201
Book Description
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Data Networks with Satellites
Author: J. Majus
Publisher: Springer Science & Business Media
ISBN: 3642690300
Category : Computers
Languages : en
Pages : 259
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642690300
Category : Computers
Languages : en
Pages : 259
Book Description