English
Related papers

Related papers: Magic Fairy Tales as Source for Interface Metaphor…

200 papers

Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of…

Logic in Computer Science · Computer Science 2017-12-06 Dennis Müller , Colin Rothgang , Yufei Liu , Florian Rabe

Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic…

Formal Languages and Automata Theory · Computer Science 2024-06-21 Ezio Bartocci , Thomas A. Henzinger , Dejan Nickovic , Ana Oliveira da Costa

AI Stories is a proposed interactive dialogue system, that lets children co-create narrative worlds through conversation. Over the next three years this system will be developed and tested within pediatric wards, where it offers a useful…

Computation and Language · Computer Science 2020-11-10 Ben Burtenshaw

We present VisualHints, a novel environment for multimodal reinforcement learning (RL) involving text-based interactions along with visual hints (obtained from the environment). Real-life problems often demand that agents interact with the…

Machine Learning · Computer Science 2020-10-28 Thomas Carta , Subhajit Chaudhury , Kartik Talamadupula , Michiaki Tatsubori

Mixed metaphors have been neglected in recent metaphor research. This paper suggests that such neglect is short-sighted. Though mixing is a more complex phenomenon than straight metaphors, the same kinds of reasoning and knowledge…

Computation and Language · Computer Science 2007-05-23 Mark Lee , John Barnden

Speech is one of the interaction modalities that we increasingly come across in natural user interfaces. However, its use in collaborative scenarios has not yet been thoroughly investigated. In this reflection statement, we discuss the…

Human-Computer Interaction · Computer Science 2023-09-19 Gabriela Molina León , Petra Isenberg , Andreas Breiter

A cluster of research in Affective Computing suggests that it is possible to infer some characteristics of users' affective states by analyzing their electrophysiological activity in real-time. However, it is not clear how to use the…

Human-Computer Interaction · Computer Science 2022-11-22 Andres Pinilla , Jaime Garcia , William Raffe , Jan-Niklas Voigt-Antons , Robert Spang , Sebastian Möller

There is no generally accepted definition for a virtual world, with many complimentary terms and acronyms having emerged implying a virtual world. Advances in systems architecture techniques such as, host migration of instances, mobile…

Human-Computer Interaction · Computer Science 2017-08-28 Kim J. L. Nevelsteen

Visualization researchers and visualization professionals seek appropriate abstractions of visualization requirements that permit considering visualization solutions independently from specific problems. Abstractions can help us design,…

Human-Computer Interaction · Computer Science 2023-03-16 Michael Gleicher , Maria Riveiro , Tatiana von Landesberger , Oliver Deussen , Remco Chang , Christina Gillman

The application of Virtual Reality Environments (VRE) has been gaining momentum as a relatively new tool to assist with mitigating various difficulties including abstractness of concepts, lack of user engagement, perception of disconnection…

Human-Computer Interaction · Computer Science 2024-11-26 Ourania Koutzampasopoulou Xanthidou , Nadine Aburumman , Hanêne Ben-Abdallah

Visual metaphors of climate change (e.g., melting glaciers depicted as a melting ice grenade) are regarded as valuable tools for addressing the complexity of environmental challenges. However, few studies have examined their impact on…

Computation and Language · Computer Science 2025-07-15 Biagio Scalingi , Chiara Barattieri di San Pietro , Paolo Canal , Valentina Bambini

Reinforcement Learning has shown success in a number of complex virtual environments. However, many challenges still exist towards solving problems with natural language as a core component. Interactive Fiction Games (or Text Games) are one…

Artificial Intelligence · Computer Science 2021-09-21 Philip Osborne , Heido Nõmm , Andre Freitas

The quality of text-to-image generation is continuously improving, yet the boundaries of its applicability are still unclear. In particular, refinement of the text input with the objective of achieving better results - commonly called…

Computation and Language · Computer Science 2023-08-28 Martin Ruskov

We introduce a multimodal dataset where users express preferences through images. These images encompass a broad spectrum of visual expressions ranging from landscapes to artistic depictions. Users request recommendations for books or music…

Computer Vision and Pattern Recognition · Computer Science 2025-04-17 Se-eun Yoon , Hyunsik Jeon , Julian McAuley

What is Virtual Reality? A professional tool, made to facilitate our everyday tasks? A conceptual mistake, accompanied by cybersickness and unsolved locomotion issues since the very beginning? Or just another source of entertainment that…

Human-Computer Interaction · Computer Science 2020-09-10 Andrey Krekhov

Software visualization seeks to represent software artifacts graphical-ly in two or three dimensions, with the goal of enhancing comprehension, anal-ysis, maintenance, and evolution of the source code. In this context, visualiza-tions…

Software Engineering · Computer Science 2025-09-30 Anthony Savidis , Christos Vasilopoulos

Information-seeking AI assistant systems aim to answer users' queries about knowledge in a timely manner. However, both the human-perceived helpfulness of information-seeking assistant systems and its fairness implication are…

Computation and Language · Computer Science 2025-03-04 Jiao Sun , Yu Hou , Jiin Kim , Nanyun Peng

FAIR GPT is a first virtual consultant in ChatGPT designed to help researchers and organizations make their data and metadata compliant with the FAIR (Findable, Accessible, Interoperable, Reusable) principles. It provides guidance on…

Digital Libraries · Computer Science 2024-10-10 Renat Shigapov , Irene Schumm

Attitudes about artificial intelligence and machine learning are recent victims of endemic misunderstanding; given our increasing reliance on these technologies, the need for widespread understanding and confidence in their use is…

Graphics · Computer Science 2026-05-04 Bokang Wang , Yingxuan Liao , Leah Lee , Jack Wesson , Anlan Yang , Ruizi Wang , Yigang Wen

In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural language interfaces. It is a generally held opinion that formal…

Artificial Intelligence · Computer Science 2017-06-14 Federico Cerutti , Alice Toniolo , Timothy J. Norman