English
Related papers

Related papers: EVM: Incorporating Model Checking into Exploratory…

200 papers

Visualization supports exploratory data analysis (EDA), but EDA frequently presents spurious charts, which can mislead people into drawing unwarranted conclusions. We investigate interventions to prevent false discovery from visualized…

Human-Computer Interaction · Computer Science 2023-01-31 Ratanond Koonchanok , Gauri Yatindra Tawde , Gokul Ragunandhan Narayanasamy , Shalmali Walimbe , Khairi Reda

Simulation ensembles are a common tool in physics for understanding how a model outcome depends on input parameters. We analyze an active particle system, where each particle can use energy from its surroundings to propel itself. A…

Human-Computer Interaction · Computer Science 2023-03-21 Marina Evers , Raphael Wittkowski , Lars Linsen

When conducting user studies to ascertain the usefulness of model explanations in aiding human decision-making, it is important to use real-world use cases, data, and users. However, this process can be resource-intensive, allowing only a…

Machine Learning · Computer Science 2023-03-22 Ada Martin , Valerie Chen , Sérgio Jesus , Pedro Saleiro

This paper presents a visual tool, AVIATOR, that integrates the progressive visual analytics paradigm in the IR evaluation process. This tool serves to speed-up and facilitate the performance assessment of retrieval models enabling a result…

Information Retrieval · Computer Science 2019-04-19 Fabio Giachelle , Gianmaria Silvello

The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if one can observe the structure of models and the verification…

Logic in Computer Science · Computer Science 2017-02-16 Jian Liu , Ying Jiang , Yanyun Chen , Qing Zhou

Our society increasingly depends on intelligent systems to solve complex problems, ranging from recommender systems suggesting the next movie to watch to AI models assisting in medical diagnoses for hospitalized patients. With the iterative…

Human-Computer Interaction · Computer Science 2025-07-15 Angelos Chatzimparmpas

With recent advances in multi-modal foundation models, the previously text-only large language models (LLM) have evolved to incorporate visual input, opening up unprecedented opportunities for various applications in visualization. Our work…

Human-Computer Interaction · Computer Science 2023-12-08 Shusen Liu , Haichao Miao , Zhimin Li , Matthew Olson , Valerio Pascucci , Peer-Timo Bremer

Psychological research often involves understanding psychological constructs through conducting factor analysis on data collected by a questionnaire, which can comprise hundreds of questions. Without interactive systems for interpreting…

Human-Computer Interaction · Computer Science 2024-08-06 Yikai Lu , Chaoli Wang

It is commonly believed that increasing the interpretability of a machine learning model may decrease its predictive power. However, inspecting input-output relationships of those models using visual analytics, while treating them as…

Machine Learning · Statistics 2016-06-22 Josua Krause , Adam Perer , Enrico Bertini

Event Detection (ED) is an important task in natural language processing. In the past few years, many datasets have been introduced for advancing ED machine learning models. However, most of these datasets are under-explored because not…

Computation and Language · Computer Science 2022-04-27 Wenlong Zhang , Bhagyashree Ingale , Hamza Shabir , Tianyi Li , Tian Shi , Ping Wang

A variety of methods have been proposed to try to explain how deep neural networks make their decisions. Key to those approaches is the need to sample the pixel space efficiently in order to derive importance maps. However, it has been…

Computer Vision and Pattern Recognition · Computer Science 2023-03-21 Thomas Fel , Melanie Ducoffe , David Vigouroux , Remi Cadene , Mikael Capelle , Claire Nicodeme , Thomas Serre

As machine learning becomes more pervasive, there is an urgent need for interpretable explanations of predictive models. Prior work has developed effective methods for visualizing global model behavior, as well as generating local…

Machine Learning · Computer Science 2019-04-02 Matthew Britton

Many evaluation methods have been applied to assess the usefulness of visual analytics solutions. These methods are branching from a variety of origins with different assumptions, and goals. We provide a high-level overview of the process…

Human-Computer Interaction · Computer Science 2018-11-02 Mosab Khayat , Arif Ghafoor

Experts in different domains rely increasingly on simulation models of complex processes to reach insights, make decisions, and plan future projects. These models are often used to study possible trade-offs, as experts try to optimise…

Human-Computer Interaction · Computer Science 2019-02-06 Nadia Boukhelifa , Anastasia Bezerianos , Ioan Cristian Trelea , Nathalie Mejean Perrot , Evelyne Lutton

The daily routine of criminal investigators consists of a thorough analysis of highly complex and heterogeneous data of crime cases. Such data can consist of case descriptions, testimonies, criminal networks, spatial and temporal…

Computers and Society · Computer Science 2020-09-22 Kristína Zákopčanová , Marko Řeháček , Jozef Bátrna , Daniel Plakinger , Sergej Stoppel , Barbora Kozlíková

The visual analytics community has proposed several user modeling algorithms to capture and analyze users' interaction behavior in order to assist users in data exploration and insight generation. For example, some can detect exploration…

Human-Computer Interaction · Computer Science 2022-08-11 Sunwoo Ha , Shayan Monadjemi , Roman Garnett , Alvitta Ottley

Recent advancements in visual generative models have enabled high-quality image and video generation, opening diverse applications. However, evaluating these models often demands sampling hundreds or thousands of images or videos, making…

Computer Vision and Pattern Recognition · Computer Science 2025-08-22 Fan Zhang , Shulin Tian , Ziqi Huang , Yu Qiao , Ziwei Liu

Constructing latent vector representation for nodes in a network through embedding models has shown its practicality in many graph analysis applications, such as node classification, clustering, and link prediction. However, despite the…

Human-Computer Interaction · Computer Science 2018-08-29 Quan Li , Kristanto Sean Njotoprawiro , Hammad Haleem , Qiaoan Chen , Chris Yi , Xiaojuan Ma

Most visual analytics systems assume that all foraging for data happens before the analytics process; once analysis begins, the set of data attributes considered is fixed. Such separation of data construction from analysis precludes…

Information Retrieval · Computer Science 2020-09-08 Dylan Cashman , Shenyu Xu , Subhajit Das , Florian Heimerl , Cong Liu , Shah Rukh Humayoun , Michael Gleicher , Alex Endert , Remco Chang

Interactive visualizations are powerful tools for Exploratory Data Analysis (EDA), but how do they affect the observations analysts make about their data? We conducted a qualitative experiment with 13 professional data scientists analyzing…

Human-Computer Interaction · Computer Science 2024-09-17 Dylan Wootton , Amy Rae Fox , Evan Peck , Arvind Satyanarayan