English
Related papers

Related papers: React-tRace: A Semantics for Understanding React H…

200 papers

Autonomous agents that can engage in social interactions witha human is the ultimate goal of a myriad of applications. A keychallenge in the design of these applications is to define the socialbehavior of the agent, which requires extensive…

Human-Computer Interaction · Computer Science 2021-07-20 Diogo S. Carvalho , Joana Campos , Manuel Guimarães , Ana Antunes , João Dias , Pedro A. Santos

Explainable AI aims to render model behavior understandable by humans, which can be seen as an intermediate step in extracting causal relations from correlative patterns. Due to the high risk of possible fatal decisions in image-based…

Computer Vision and Pattern Recognition · Computer Science 2023-06-16 Lukas Klein , João B. S. Carvalho , Mennatallah El-Assady , Paolo Penna , Joachim M. Buhmann , Paul F. Jaeger

Large-scale pre-trained vision foundation models, such as CLIP, have become de facto backbones for various vision tasks. However, due to their black-box nature, understanding the underlying rules behind these models' predictions and…

Computer Vision and Pattern Recognition · Computer Science 2023-10-17 Haozhe Chen , Junfeng Yang , Carl Vondrick , Chengzhi Mao

Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture ACT-R is popular to develop such models. Although ACT-R has a well-defined psychological theory and…

Logic in Computer Science · Computer Science 2017-02-07 Daniel Gall , Thom Frühwirth

Review comments play an important role in the evolution of documents. For a large document, the number of review comments may become large, making it difficult for the authors to quickly grasp what the comments are about. It is important to…

Computation and Language · Computer Science 2022-10-04 Gautam Choudhary , Natwar Modani , Nitish Maurya

Interpretability and human oversight are fundamental pillars of deploying complex NLP models into real-world applications. However, applying explainability and human-in-the-loop methods requires technical proficiency. Despite existing…

Computation and Language · Computer Science 2023-10-03 Edoardo Mosca , Daryna Dementieva , Tohid Ebrahim Ajdari , Maximilian Kummeth , Kirill Gringauz , Yutong Zhou , Georg Groh

In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quantitative evaluation of behavioral attributes. A feature…

Logic in Computer Science · Computer Science 2019-02-25 Antonio Anastasio Bruto da Costa , Goran Frehse , Pallab Dasgupta

Answer Set Programming (ASP) is a popular declarative reasoning and problem solving approach in symbolic AI. Its rule-based formalism makes it inherently attractive for explainable and interpretive reasoning, which is gaining importance…

Artificial Intelligence · Computer Science 2026-01-22 Thomas Eiter , Tobias Geibinger , Zeynep G. Saribatur

Creating lifelike virtual agents capable of interacting with their environments is a longstanding goal in computer graphics. This paper addresses the challenge of generating natural head rotations, a critical aspect of believable agent…

Graphics · Computer Science 2025-02-17 Juyeong Hwang , Seong-Eun Hong , Hyeongyeop Kang

Accurately predicting the possible behaviors of traffic participants is an essential capability for autonomous vehicles. Since autonomous vehicles need to navigate in dynamically changing environments, they are expected to make accurate…

Robotics · Computer Science 2022-11-15 Yeping Hu , Wei Zhan , Masayoshi Tomizuka

Early action prediction (EAP) aims to recognize human actions from a part of action execution in ongoing videos, which is an important task for many practical applications. Most prior works treat partial or full videos as a whole, ignoring…

Computer Vision and Pattern Recognition · Computer Science 2023-12-21 Xiaoli Liu , Jianqin Yin , Di Guo , Huaping Liu

Reaction automata are a formal model that has been introduced to investigate the computing powers of interactive behaviors of biochemical reactions([14]). Reaction automata are language acceptors with multiset rewriting mechanism whose…

Formal Languages and Automata Theory · Computer Science 2012-01-17 Fumiya Okubo , Satoshi Kobayashi , Takashi Yokomori

It is often difficult to hand-specify what the correct reward function is for a task, so researchers have instead aimed to learn reward functions from human behavior or feedback. The types of behavior interpreted as evidence of the reward…

Machine Learning · Computer Science 2020-12-14 Hong Jun Jeon , Smitha Milli , Anca D. Dragan

Recent developments in the world of services on the Web show that both the number of available Web APIs as well as the applications built on top is constantly increasing. This trend is commonly attributed to the wide adoption of the REST…

Software Engineering · Computer Science 2019-02-28 Frederik Buelthoff , Maria Maleshkova

Accountability is the property of a system that enables the uncovering of causes for events and helps understand who or what is responsible for these events. Definitions and interpretations of accountability differ; however, they are…

Software Engineering · Computer Science 2018-10-24 Severin Kacianka , Alexander Pretschner

A user can be represented as what he/she does along the history. A common way to deal with the user modeling problem is to manually extract all kinds of aggregated features over the heterogeneous behaviors, which may fail to fully represent…

Artificial Intelligence · Computer Science 2017-11-28 Chang Zhou , Jinze Bai , Junshuai Song , Xiaofei Liu , Zhengchao Zhao , Xiusi Chen , Jun Gao

In this paper, we study sentiment analysis task where the outcomes are mainly contributed by a few key elements of the inputs. Motivated by the two-streams hypothesis, we propose a neural architecture, named TraceNet, to address this type…

Computation and Language · Computer Science 2022-03-01 Qinghua Zhao , Shuai Ma

The increasing complexity of machine learning models in computer vision, particularly in face verification, requires the development of explainable artificial intelligence (XAI) to enhance interpretability and transparency. This study…

Computer Vision and Pattern Recognition · Computer Science 2025-01-13 Miriam Doh , Caroline Mazini Rodrigues , N. Boutry , L. Najman , Matei Mancas , Bernard Gosselin

Reactions such as gestures, facial expressions, and vocalizations are an abundant, naturally occurring channel of information that humans provide during interactions. A robot or other agent could leverage an understanding of such implicit…

Human-Computer Interaction · Computer Science 2020-12-08 Yuchen Cui , Qiping Zhang , Alessandro Allievi , Peter Stone , Scott Niekum , W. Bradley Knox

The increasing complexity of modern software systems has made understanding their behavior increasingly challenging, driving the need for explainability to improve transparency and user trust. Traditional documentation is often outdated or…

Software Engineering · Computer Science 2026-01-12 Daniel Pöttgen , Mersedeh Sadeghi , Max Unterbusch , Andreas Vogelsang