Adaptive Multimodal Interactive Systems

Adaptive Multimodal Interactive Systems

enable an adaptive interactive system to observe the user-system interaction and derive adaptation information accordingly. For instance, the adaptation may recommend a specific action to the user. In the remainder of this section, ...

Author: Matthias Bezold

Publisher: Springer Science & Business Media

ISBN: 9781441997104

Category: Technology & Engineering

Page: 184

View: 404

Adaptive Multimodal Interactive Systems introduces a general framework for adapting multimodal interactive systems and comprises a detailed discussion of each of the steps required for adaptation. This book also investigates how interactive systems may be improved in terms of usability and user friendliness while describing the exhaustive user tests employed to evaluate the presented approaches. After introducing general theory, a generic approach for user modeling in interactive systems is presented, ranging from an observation of basic events to a description of higher-level user behavior. Adaptations are presented as a set of patterns similar to those known from software or usability engineering.These patterns describe recurring problems and present proven solutions. The authors include a discussion on when and how to employ patterns and provide guidance to the system designer who wants to add adaptivity to interactive systems. In addition to these patterns, the book introduces an adaptation framework, which exhibits an abstraction layer using Semantic Web technology.Adaptations are implemented on top of this abstraction layer by creating a semantic representation of the adaptation patterns. The patterns cover both graphical interfaces as well as speech-based and multimodal interactive systems.
Categories: Technology & Engineering

Engineering Interactive Systems

Engineering Interactive Systems

This paper presents a method for automatically testing interactive multimodal systems. The method is based on the Lutess testing environment, originally dedicated to synchronous software specified us- ing the Lustre language.

Author: Jan Gulliksen

Publisher: Springer Science & Business Media

ISBN: 9783540926979

Category: Computers

Page: 649

View: 314

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: • HCSE 2007 – Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. • EHCI 2007 – Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. • DSV-IS 2007 – Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.
Categories: Computers

Interactive Systems Design Specification and Verification

Interactive Systems  Design  Specification  and Verification

10 A Tool-Supported Approach to the Refinement of Interactive Systems F. Paternó A. Leonardi S. Pangoli ABSTRACT In this paper we present an approach to support developers in the refinement of specifications of Interactive Systems.

Author: Fabio Paterno

Publisher: Springer Science & Business Media

ISBN: 9783642871153

Category: Computers

Page: 447

View: 818

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Categories: Computers

Interactive Systems Design Specification and Verification

Interactive Systems  Design  Specification  and Verification

Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluation method, particularly appropriate for evaluating safety ...

Author: Gavin Doherty

Publisher: Springer

ISBN: 9783540695547

Category: Computers

Page: 276

View: 338

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.
Categories: Computers

Design Specification and Verification of Interactive Systems 98

Design  Specification and Verification of Interactive Systems    98

Agents are becoming increasingly common as a means of structuring interactive systems, due to the highly complex and concurrent nature of modern systems. The manner in which interaction between these agents is specified is of ...

Author: Panos Markopoulos

Publisher: Springer Science & Business Media

ISBN: 9783709136935

Category: Computers

Page: 326

View: 458

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.
Categories: Computers

Design Specification and Verification of Interactive Systems 99

Design  Specification and Verification of Interactive Systems    99

Formal reasoning about how users and systems interact poses a difficult challenge. Interactive systems design provides a context in which the subjective area of human understanding meets the objectivity of computer systems logic.

Author: D.J. Duke

Publisher: Springer Science & Business Media

ISBN: 9783709168158

Category: Computers

Page: 282

View: 137

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting.
Categories: Computers

Emerging Trends in Intelligent and Interactive Systems and Applications

Emerging Trends in Intelligent and Interactive Systems and Applications

IISA 2020, the 5th International Conference on Intelligent, Interactive Systems and Applications, provides a forum for presenting new results and developments, but—maybe even more—a forum for vivid discussions among international ...

Author: Madjid Tavana

Publisher: Springer Nature

ISBN: 9783030637842

Category: Technology & Engineering

Page: 1001

View: 193

This book reports on the proceeding of the 5th International Conference on Intelligent, Interactive Systems and Applications (IISA 2020), held in Shanghai, China, on September 25–27, 2020. The IISA proceedings, with the latest scientific findings, and methods for solving intriguing problems, are a reference for state-of-the-art works on intelligent and interactive systems. This book covers nine interesting and current topics on different systems’ orientations, including Analytical Systems, Database Management Systems, Electronics Systems, Energy Systems, Intelligent Systems, Network Systems, Optimization Systems, and Pattern Recognition Systems and Applications. The chapters included in this book cover significant recent developments in the field, both in terms of theoretical foundations and their practical application. An important characteristic of the works included here is the novelty of the solution approaches to the most interesting applications of intelligent and interactive systems.
Categories: Technology & Engineering

Formal Methods for Interactive Systems

Formal Methods for Interactive Systems

A temporal model - for considering real-time properties of interactive systems. In any particular system, we may want to apply properties expressed over several of these models and we could simply map them all onto the system ...

Author: Alan Dix

Publisher:

ISBN: UOM:39015021889624

Category: Computer graphics

Page: 369

View: 378

This essential book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modeling of interactive systems. By modeling various facets of the system--such as windows, real time phenomena, and dynamic pointers--the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems. This book will be accessible and invaluable to researchers and students in the fields of HCI and formal methods for software engineering. Employs a novel approach to HCI in using formal methods for evaluation and design**Brings mathematical rigor to interface modeling**Provides formalisms for the design of safety-critical systems**Outlines abstract models of interaction
Categories: Computer graphics

Designing Interactive Systems for Organizational Change

Designing Interactive Systems for Organizational Change

Hans Glimell. t Cornell University L T 58.6.G55 1975a ling interactive systems for.

Author: Hans Glimell

Publisher:

ISBN: CORNELL:31924001777865

Category: Management information systems

Page: 358

View: 133

Categories: Management information systems

Design Specification and Verification of Interactive Systems 95

Design  Specification and Verification of Interactive Systems    95

Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995 Philippe Palanque Remi Bastide, Rémi Bastide. I Design , Specification and Verification of Interactive Systems '95 Proceedings.

Author: Philippe Palanque

Publisher: Springer

ISBN: UCSC:32106013340655

Category: Computers

Page: 388

View: 639

Twenty-one contributions cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describe the state-of-the-art on these topics, also giving new directions for future research.The book is an obligatory piece of literature for all scientists working in the formal aspects of the interactive systems field, but it is also valuable for the practitioner involved in the design of reliable interactive systems.
Categories: Computers