English
Related papers

Related papers: GUI Tools for an Enhanced User Experience

200 papers

We aim to increase the flexibility at which a data worker can choose the right tool for the job, regardless of whether the tool is a code library or an interactive graphical user interface (GUI). To achieve this flexibility, we extend…

Human-Computer Interaction · Computer Science 2020-09-23 Mary Beth Kery , Donghao Ren , Fred Hohman , Dominik Moritz , Kanit Wongsuphasawat , Kayur Patel

Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specification language for dynamical systems. In particular, it can…

Formal Languages and Automata Theory · Computer Science 2023-04-14 Ahmad Ahmad , Cristian-Ioan Vasile , Roberto Tron , Calin Belta

Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to…

Programming Languages · Computer Science 2007-05-23 G. N. C. Kirby , R. Morrison , D. W. Stemple

Graphical User Interface (GUI) agents have the potential to assist users in interacting with complex software (e.g., PowerPoint, Photoshop). While prior research has primarily focused on automating user actions through clicks and…

Computer Vision and Pattern Recognition · Computer Science 2026-03-30 Saelyne Yang , Jaesang Yu , Yi-Hao Peng , Kevin Qinghong Lin , Jae Won Cho , Yale Song , Juho Kim

Automating the conversion of user interface design into code (image-to-code or image-to-UI) is an active area of software engineering research. However, the state-of-the-art solutions do not achieve high fidelity to the original design, as…

Software Engineering · Computer Science 2025-09-09 Zoltan Toth-Czifra

Once a program file is modified, the recompilation time should be minimized, without sacrificing execution speed or high level object oriented features. The recompilation time is often a problem for the large graphical interactive…

Programming Languages · Computer Science 2007-05-23 Jerome Collin , Michel Dagenais

Code generation plays a crucial role in various tasks, such as code auto-completion and mathematical reasoning. Previous work has proposed numerous methods to enhance code generation performance, including integrating feedback from the…

Computation and Language · Computer Science 2025-05-30 Houxing Ren , Mingjie Zhan , Zhongyuan Wu , Aojun Zhou , Junting Pan , Hongsheng Li

Numerical and symbolic methods for optimization are used extensively in engineering, industry, and finance. Various methods are used to reduce problems of interest to ones that are amenable to solution by such software. We develop a…

Logic in Computer Science · Computer Science 2023-02-23 Alexander Bentkamp , Ramon Fernández Mir , Jeremy Avigad

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for…

Performance · Computer Science 2010-06-29 Karine Altisen , Yanhong Liu , Matthieu Moy

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for…

Performance · Computer Science 2010-04-16 Karine Altisen , Yanhong Liu , Matthieu Moy

This paper discusses the problems faced with interoperability between two programming languages, with respect to GNU Octave, and GTK API written in C, to provide the GTK API on Octave.Octave-GTK is the fusion of two different API's: one…

Software Engineering · Computer Science 2007-05-23 Muthiah Annamalai , Hemant Kumar , Leela Velusamy

Adaptive user interfaces have the advantage of being able to dynamically change their aspect and/or behaviour depending on the characteristics of the context of use, i.e. to improve user experience(UX). UX is an important quality factor…

Human-Computer Interaction · Computer Science 2023-06-07 Daniel Gaspar-Figueiredo , Silvia Abrahão , Emilio Insfrán , Jean Vanderdonckt

Representing the control flow of a computer program as a computation graph can bring many benefits in a broad variety of domains where performance is critical. This technique is a core component of most major numerical libraries…

Mathematical Software · Computer Science 2018-12-11 Pierre Vandenhove

Industrial robotics is characterized by sophisticated mechanical components and highly-developed real-time control algorithms. However, the efficient use of robotic systems is very much limited by existing proprietary programming methods.…

Robotics · Computer Science 2013-03-28 Andreas Angerer , Remi Smirra , Alwin Hoffmann , Andreas Schierl , Michael Vistein , Wolfgang Reif

Live time-lapse microscopy is essential for a wide range of biological applications. Software-based automation is the gold standard for the operation of hardware accessories necessary for image acquisition. Given that current software…

Image and Video Processing · Electrical Eng. & Systems 2019-06-20 Quang Long Pham , David Chege , Timothy Dijamco , Migle Surblyte , Akshay Naik , Kolawole Campbell , Nhat-Anh-Nguyen Tong , Roman Voronov

We introduce Teegi, a Tangible ElectroEncephaloGraphy (EEG) Interface that enables novice users to get to know more about something as complex as brain signals, in an easy, en- gaging and informative way. To this end, we have designed a new…

Human-Computer Interaction · Computer Science 2014-12-05 Jérémy Frey , Renaud Gervais , Stéphanie Fleck , Fabien Lotte , Martin Hachet

We propose a novel approach for constraint-based graphical user interface (GUI) layout based on OR-constraints (ORC) in standard soft/hard linear constraint systems. ORC layout unifies grid layout and flow layout, supporting both their…

Human-Computer Interaction · Computer Science 2022-02-23 Yue Jiang , Ruofei Du , Christof Lutteroth , Wolfgang Stuerzlinger

In Conversational Recommendation Systems (CRS), a user can provide feedback on recommended items at each interaction turn, leading the CRS towards more desirable recommendations. Currently, different types of CRS offer various possibilities…

Information Retrieval · Computer Science 2024-01-12 Maria Vlachou , Craig Macdonald

With Artificial Intelligence (AI) becoming ubiquitous in every application domain, the need for explanations is paramount to enhance transparency and trust among non-technical users. Despite the potential shown by Explainable AI (XAI) for…

Human-Computer Interaction · Computer Science 2024-02-05 Aditya Bhattacharya

CONTEXT The R programming language has a huge and active community, especially in the area of statistical computing. Its interpreted nature allows for several interesting constructs, like the manipulation of functions at run-time, that…

Programming Languages · Computer Science 2024-01-30 Florian Sihler , Lukas Pietzschmann , Raphael Straub , Matthias Tichy , Andor Diera , Abdelhalim Dahou