English
Related papers

Related papers: Precision Interfaces

200 papers

Prediction of human actions in social interactions has important applications in the design of social robots or artificial avatars. In this paper, we focus on a unimodal representation of interactions and propose to tackle interaction…

Neural and Evolutionary Computing · Computer Science 2022-09-13 Louis Airale , Dominique Vaufreydaz , Xavier Alameda-Pineda

Recommender systems are software applications that help users find items of interest in situations of information overload in a personalized way, using knowledge about the needs and preferences of individual users. In conversational…

Artificial Intelligence · Computer Science 2022-02-10 Tommaso Di Noia , Francesco Donini , Dietmar Jannach , Fedelucio Narducci , Claudio Pomo

Knowledge workers frequently encounter repetitive web data entry tasks, like updating records or placing orders. Web automation increases productivity, but translating tasks to web actions accurately and extending to new specifications is…

Human-Computer Interaction · Computer Science 2023-08-21 Kevin Pu , Jim Yang , Angel Yuan , Minyi Ma , Rui Dong , Xinyu Wang , Yan Chen , Tovi Grossman

For complex segmentation tasks, the achievable accuracy of fully automated systems is inherently limited. Specifically, when a precise segmentation result is desired for a small amount of given data sets, semi-automatic methods exhibit a…

Human-Computer Interaction · Computer Science 2019-09-04 Mario Amrehn , Stefan Steidl , Reinier Kortekaas , Maddalena Strumia , Markus Weingarten , Markus Kowarschik , Andreas Maier

Automation of existing Graphical User Interfaces (GUIs) is important but hard to achieve. Upstream of making the GUI user-accessible or somehow scriptable, even the data-collection to understand the original interface poses significant…

Human-Computer Interaction · Computer Science 2025-04-15 Iason Chaimalas , Arnas Vyšniauskas , Gabriel Brostow

In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequences of uninflected semantic units like e.g.…

Computation and Language · Computer Science 2007-05-23 Pascal Vaillant

A growing interest in Immersive Analytics (IA) has led to the extension of computational notebooks (e.g., Jupyter Notebook) into an immersive environment to enhance analytical workflows. However, existing solutions rely on the WIMP…

Human-Computer Interaction · Computer Science 2025-09-17 Sungwon In , Eric Krokos , Kirsten Whitley , Chris North , Yalong Yang

Recent advances in NLU and NLP have resulted in renewed interest in natural language interfaces to data, which provide an easy mechanism for non-technical users to access and query the data. While early systems evolved from keyword search…

Databases · Computer Science 2022-12-27 Abdul Quamar , Vasilis Efthymiou , Chuan Lei , Fatma Özcan

In daily life, there are many scenarios that people need to tackle data-related tasks, such as filling out forms, analyzing Excel files, and visualize data report. However, the tools available for these tasks often fragment, requiring users…

Databases · Computer Science 2026-04-28 Huahang Li , Wentao Hu , Zhuoyue Wan , Chen Jason Zhang , Haoyang Li , Xiaoyong Wei

The problem of checking whether two programs are semantically equivalent or not has a diverse range of applications, and is consequently of substantial importance. There are several techniques that address this problem, chiefly by…

Software Engineering · Computer Science 2021-09-07 Manish Goyal , Muqsit Azeem , Kumar Madhukar , R. Venkatesh

API search involves finding components in an API that are relevant to a programming task. For example, a programmer may need a function in a C library that opens a new network connection, then another function that sends data across that…

Software Engineering · Computer Science 2021-07-27 Zachary Eberhart , Collin McMillan

Interprocedural analysis refers to gathering information about the entire program rather than for a single procedure only, as in intraprocedural analysis. Interprocedural analysis enables a more precise analysis; however, it is complicated…

Programming Languages · Computer Science 2021-05-10 Aharon Abadi , Bar Makovitzki , Ron Shemer , Shmuel Tyszberowicz

Verification of software systems is a very hard problem due to the large size of program state-space. The traditional techniques (like model checking) do not scale; since they include the whole state-space by inlining the library function…

Logic in Computer Science · Computer Science 2010-05-03 Pritam Roy

Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient manner can be a challenging task when it comes to high-level languages that are…

Programming Languages · Computer Science 2021-03-02 Vitalis Salis , Thodoris Sotiropoulos , Panos Louridas , Diomidis Spinellis , Dimitris Mitropoulos

The complexity of modern Just-In-Time (JIT) compiler optimization poses significant challenges for developers seeking to understand and debug intermediate representation (IR) behavior. This work introduces JITScope, an interactive…

Software Engineering · Computer Science 2025-05-29 Kyra Dalbo , Yumna Ahmed , HeuiChan Lim

Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs (static analyses) remains a difficult and error-prone process for modern…

Programming Languages · Computer Science 2011-05-10 David Van Horn , Matthew Might

Database system is an indispensable part of software projects. It plays an important role in data organization and storage. Its performance and efficiency are directly related to the performance of software. Nowadays, we have many general…

Databases · Computer Science 2020-08-12 WanHong Huang

We present a demonstration of a neural interactive-predictive system for tackling multimodal sequence to sequence tasks. The system generates text predictions to different sequence to sequence tasks: machine translation, image and video…

Computation and Language · Computer Science 2019-05-31 Álvaro Peris , Francisco Casacuberta

Logging is a critical function in modern distributed applications, but the lack of standardization in log query languages and formats creates significant challenges. Developers currently must write ad hoc queries in platform-specific…

In today's digital society, personalization has become a crucial aspect of software applications, significantly impacting user experience and engagement. A new wave of intelligent user interfaces, such as AI-based conversational agents, has…

Software Engineering · Computer Science 2025-06-02 Aaron Conrardy , Alfredo Capozucca , Jordi Cabot