English
Related papers

Related papers: Bounded-Choice Statements for User Interaction in …

200 papers

Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the…

Programming Languages · Computer Science 2021-08-21 Alexander Vandenbroucke , Tom Schrijvers

Technological advances continue to redefine the dynamics of human-machine interactions, particularly in task execution. This proposal responds to the advancements in Generative AI by outlining a research plan that probes intent-AI…

Human-Computer Interaction · Computer Science 2024-05-03 Zijian Ding

We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reachability set for this model can be refined into two decision problems…

Formal Languages and Automata Theory · Computer Science 2015-07-28 Jérôme Leroux , Grégoire Sutre , Patrick Totzke

Recent advances in explainable recommendations have explored the integration of language models to analyze natural language rationales for user-item interactions. Despite their potential, existing methods often rely on ID-based…

Machine Learning · Computer Science 2025-12-18 Xinshun Feng , Mingzhe Liu , Yi Qiao , Tongyu Zhu , Leilei Sun , Shuai Wang

Recently, large language models have facilitated the emergence of highly intelligent conversational AI capable of engaging in human-like dialogues. However, a notable distinction lies in the fact that these AI models predominantly generate…

Human-Computer Interaction · Computer Science 2025-10-13 Jijie Zhou , Yuhan Hu

Currently, personal assistant systems, run on smartphones and use natural language interfaces. However, these systems rely mostly on the web for finding information. Mobile and wearable devices can collect an enormous amount of contextual…

Human-Computer Interaction · Computer Science 2016-11-23 Reza Rawassizadeh , Chelsea Dobbins , Manouchehr Nourizadeh , Zahra Ghamchili , Michael Pazzani

Instruments such as eye-tracking devices have contributed to understanding how users interact with screen-based search engines. However, user-system interactions in audio-only channels -- as is the case for Spoken Conversational Search…

Human-Computer Interaction · Computer Science 2024-08-08 Kaixin Ji , Sachin Pathiyan Cherumanal , Johanne R. Trippas , Danula Hettiachchi , Flora D. Salim , Falk Scholer , Damiano Spina

We believe that we can exploit the benefits of combinatorial interaction testing (CIT) on many "non-traditional" combinatorial spaces using many "non-traditional" coverage criteria. However, this requires truly flexible CIT approaches. To…

Software Engineering · Computer Science 2016-02-23 Hanefi Mercan , Cemal Yilmaz

Keyboard, although a popular medium, is not very convenient as it requires a certain amount of skill for effective usage. A mouse on the other hand requires a good hand-eye co-ordination. Also current computer interfaces also assume a…

Human-Computer Interaction · Computer Science 2014-01-16 Kamlesh Sharma , Dr. T. V Prasad

Human collaboration with systems within the Computational Creativity (CC) field is often restricted to shallow interactions, where the creative processes, of systems and humans alike, are carried out in isolation, without any (or little)…

Human-Computer Interaction · Computer Science 2022-05-13 Maria Teresa Llano , Mark d'Inverno , Matthew Yee-King , Jon McCormack , Alon Ilsar , Alison Pease , Simon Colton

Nowadays, interactive technologies are used almost everywhere. As a result, designers need to increasingly make them "socially acceptable". Previous work recommends "subtle" forms of interaction to increase social acceptability and avoid…

Human-Computer Interaction · Computer Science 2022-10-27 Alarith Uhde , Tim zum Hoff , Marc Hassenzahl

Recently, self-learning methods based on user satisfaction metrics and contextual bandits have shown promising results to enable consistent improvements in conversational AI systems. However, directly targeting such metrics by off-policy…

Machine Learning · Computer Science 2023-05-16 Mohammad Kachuee , Sungjin Lee

Situated embodied conversation requires robots to interleave real-time dialogue with active perception: deciding what to look at, when to look, and what to say under tight latency constraints. We present a simple, minimal system recipe that…

Robotics · Computer Science 2026-02-05 Dong Won Lee , Sarah Gillet , Louis-Philippe Morency , Cynthia Breazeal , Hae Won Park

Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition…

Artificial Intelligence · Computer Science 2025-06-24 Joseph Babb , Joohyung Lee

Supporting voice commands in applications presents significant benefits to users. However, adding such support to existing GUI-based web apps is effort-consuming with a high learning barrier, as shown in our formative study, due to the lack…

Human-Computer Interaction · Computer Science 2020-07-21 Ritam Jyoti Sarmah , Yunpeng Ding , Di Wang , Cheuk Yin Phipson Lee , Toby Jia-Jun Li , Xiang 'Anthony' Chen

Safety is a fundamental requirement in any human-robot collaboration scenario. To ensure the safety of users for such scenarios, we propose a novel Virtual Barrier system facilitated by an augmented reality interface. Our system provides…

Robotics · Computer Science 2021-04-13 Khoa Cong Hoang , Wesley P. Chan , Steven Lay , Akansel Cosgun , Elizabeth Croft

Many applications require complexly structured data objects. Developing new or adapting existing algorithmic solutions for creating such objects can be a non-trivial and costly task if the considered objects are subject to different…

Programming Languages · Computer Science 2015-03-19 Johannes Oetsch , Jörg Pührer , Hans Tompits

Interaction plays a vital role during visual network exploration as users need to engage with both elements in the view (e.g., nodes, links) and interface controls (e.g., sliders, dropdown menus). Particularly as the size and complexity of…

Human-Computer Interaction · Computer Science 2020-05-01 Ayshwarya Saktheeswaran , Arjun Srinivasan , John Stasko

Intelligent agents such as Alexa, Siri, and Google Assistant are now built into streaming TV systems, allowing people to use voice input to navigate the increasingly complex set of apps available on a TV. However, these systems typically…

Human-Computer Interaction · Computer Science 2019-05-16 Sarah McRoberts , Joshua Wissbroecker , Ruotong Wang , F. Maxwell Harper

In current presence or availability systems, the method of presenting a user's state often supposes an instantaneous notion of that state - for example, a visualization is rendered or an inference is made about the potential actions that…

Human-Computer Interaction · Computer Science 2007-05-23 Paul M. Aoki , Allison Woodruff