背景
发表于 2025-3-27 00:31:56
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
发表于 2025-3-27 02:52:40
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
发表于 2025-3-27 06:38:26
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.
巧思
发表于 2025-3-27 10:40:19
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.
巧思
发表于 2025-3-27 17:23:49
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
发表于 2025-3-27 20:32:16
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.
蹒跚
发表于 2025-3-27 22:49:04
http://reply.papertrans.cn/33/3207/320634/320634_37.png
大骂
发表于 2025-3-28 05:37:36
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
发表于 2025-3-28 10:15:57
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
发表于 2025-3-28 14:03:09
http://reply.papertrans.cn/33/3207/320634/320634_40.png