Titlebook: Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium; Swansea, UK, June 26 Michael Harrison,

背景

https://doi.org/10.1007/978-3-030-45767-9 tool. To solve this, an approach to provide structured natural language explanations for the results of model checking-based tools is being developed, to be later incorporated into the IVY Workbench. This paper presents the current state of the approach’s development, stating its objective and what results can already be achieved.

hair-bulb

Not What I was Trained for – Out-of-Distribution-Tests for?Interactive AIsness of state-of-the-art AI/ML approaches in Out-of-Distribution situations and propose a research agenda to gather a deeper understanding of how to identify, handle, and prevent such situations in interactive applications.

infinite

End User Development for?Extended Realitypting the procedure depending on the context of the environment of the user. Current work is also being showcased, where the interface of the system has been developed following the insights from the dedicated workshop and the results are tested with expert users.

巧思

Explaining Temporal Logic Model Checking Counterexamples Through the?Use of?Structured Natural Langu tool. To solve this, an approach to provide structured natural language explanations for the results of model checking-based tools is being developed, to be later incorporated into the IVY Workbench. This paper presents the current state of the approach’s development, stating its objective and what results can already be achieved.

巧思

A First Step Towards an Ecosystem Meta-model for Human-Centered Design in Case of Disabled Users a meta-model of ecosystem is proposed. It is illustrated through a first case study. It concerns a project aiming at a communication aid for people with cerebral palsy. A conclusion and research perspectives end this paper.

filial

Two Concepts of Domain-Specific Languages for Therapists to Control a Humanoid RobottateDSL4Pepper. They allow therapists to specify the behavior of a robot based on the two concepts of task models and hierarchical state machines..The paper discusses both languages that support commands like ., ., . and .. First feedback from therapists in comparing both languages is discussed.

蹣跚

大罵

Conference proceedings 2024 SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023) which was held in Swansea,? United Kingdom, during June 27-30, 2023...The 17 full papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows:?engi

Delude

Measurement of Active Circuits,gn of our approach to predict the Quality in Use of applications in smart environments without having to involve end users. Instead, we intend to implement a multi-agent system to simulate human behaviour, mine the data from the simulation and apply measures from a ISO/IEC published standard to predict the software quality.

myriad