English
Related papers

Related papers: HM-Req: A Framework for Embedding Values within CP…

200 papers

The integration of Large Language Models (LLMs) into recommendation systems has introduced unprecedented capabilities for natural language understanding, explanation generation, and conversational interactions. However, existing evaluation…

Information Retrieval · Computer Science 2026-01-28 Sushant Mehta

Recommender systems shape how people discover information, form opinions, and connect with society. Yet, as their influence grows, traditional metrics, e.g., accuracy, clicks, and engagement, no longer capture what truly matters to humans.…

Information Retrieval · Computer Science 2025-11-26 Kaike Zhang , Jiakai Tang , Du Su , Shuchang Liu , Julian McAuley , Lina Yao , Qi Cao , Yue Feng , Fei Sun

Monitoring the execution of business processes and activities composing them is an essential capability of Business Process Management (BPM) Suites. Human tasks are a particular type of business activities, and the understanding of their…

Software Engineering · Computer Science 2016-10-20 Kunal Suri , Adrian Mos

Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked at every scale and can communicate with each other and with…

Logic in Computer Science · Computer Science 2023-06-22 L. Nenzi , E. Bartocci , L. Bortolussi , M. Loreti

Requirements engineering for aged-care digital health must account for human aspects, because requirement priorities are shaped not only by technical functionality but also by stakeholders' health conditions, socioeconomics, and lived…

Software Engineering · Computer Science 2026-04-01 Yuqing Xiao , John Grundy , Anuradha Madugalla , Elizabeth Manias

Cyber-Physical Systems~(CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and temporal scales. Hence, the spatial and temporal requirements…

Logic in Computer Science · Computer Science 2019-04-19 Ezio Bartocci , Luca Bortolussi , Michele Loreti , Laura Nenzi

Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are…

Logic in Computer Science · Computer Science 2018-04-30 Simone Vuotto

Enhancing the ability of large language models (LLMs) to follow complex instructions is critical for their deployment in real-world applications. However, existing evaluation methods often oversimplify instruction complexity as a mere…

Computation and Language · Computer Science 2026-03-10 Xiaona Xue , Yiqiao Huang , Jiacheng Li , Yuanhang Zheng , Huiqi Miao , Yunfei Ma , Rui Liu , Xinbao Sun , Minglu Liu , Fanyu Meng , Chao Deng , Junlan Feng

The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and…

Software Engineering · Computer Science 2016-01-26 Maria Spichkova , Anna Zamansky , Eitan Farchi

Software applications play an increasingly critical role in various aspects of our lives, from communication and entertainment to business and healthcare. As these applications become more pervasive, the importance of considering human…

Software Engineering · Computer Science 2023-09-13 Humphrey O. Obie , Juliet Ukwella , Kashumi Madampe , John Grundy , Mojtaba Shahin

Recommender systems are quintessential applications of human-computer interaction. Widely utilized in daily life, they offer significant convenience but also present numerous challenges, such as the information cocoon effect, privacy…

Information Retrieval · Computer Science 2024-11-25 Kaike Zhang , Yunfan Wu , Yougang lyu , Du Su , Yingqiang Ge , Shuchang Liu , Qi Cao , Zhaochun Ren , Fei Sun

Aligning Large Language Models to integrate and reflect human values, especially for tasks that demand intricate human oversight, is arduous since it is resource-intensive and time-consuming to depend on human expertise for context-specific…

Computation and Language · Computer Science 2025-05-30 Hongli Zhan , Muneeza Azmat , Raya Horesh , Junyi Jessy Li , Mikhail Yurochkin

With generative artificial intelligence (AI), particularly large language models (LLMs), continuing to make inroads in healthcare, it is critical to supplement traditional automated evaluations with human evaluations. Understanding and…

In autonomous exploration tasks, robots are required to explore and map unknown environments while efficiently planning in dynamic and uncertain conditions. Given the significant variability of environments, human operators often have…

Robotics · Computer Science 2025-03-11 Shuhao Liao , Xuxin Lv , Yuhong Cao , Jeric Lew , Wenjun Wu , Guillaume Sartoretti

Deep learning is increasingly viewed as a dynamical process in parameter space, yet many existing theories still treat training as a closed optimization system. This view is limited for real-world AI, where models operate under uncertainty,…

Machine Learning · Computer Science 2026-05-25 Kim Phuc Tran

This paper examines how value is constructed and negotiated in today's increasingly automated language and translation industry. Drawing on interview data from twenty-nine industry stakeholders collected within the LT-LiDER project, the…

Computation and Language · Computer Science 2026-03-20 María Isabel Rivas Ginel , Janiça Hackenbuchner , Alina Secară , Ralph Krüger , Caroline Rossi

Prior research has revealed that certain abstract concepts are linearly represented as directions in the representation space of LLMs, predominantly centered around English. In this paper, we extend this investigation to a multilingual…

Computation and Language · Computer Science 2024-10-03 Shaoyang Xu , Weilong Dong , Zishan Guo , Xinwei Wu , Deyi Xiong

Systems interacting with humans, such as assistive robots or chatbots, are increasingly integrated into our society. To prevent these systems from causing social, legal, ethical, empathetic, or cultural (SLEEC) harms, normative requirements…

Computers and Society · Computer Science 2025-01-23 Kevin Kolyakov , Lina Marsso , Nick Feng , Junwei Quan , Marsha Chechik

Building NLP systems for subjective tasks requires one to ensure their alignment to contrasting human values. We propose the MultiCalibrated Subjective Task Learner framework (MC-STL), which clusters annotations into identifiable human…

Computation and Language · Computer Science 2026-01-13 Mohammed Fayiz Parappan , Ricardo Henao

The automation of High-Level Context (HLC) reasoning across intelligent systems at scale is imperative because of the unceasing accumulation of contextual data, the trend of the fusion of data from multiple sources (e.g., sensors,…

Artificial Intelligence · Computer Science 2024-11-11 Songhui Yue , Xiaoyan Hong , Randy K. Smith