English
Related papers

Related papers: EVM: Incorporating Model Checking into Exploratory…

200 papers

Generalizable robotic mobile manipulation in open-world environments poses significant challenges due to long horizons, complex goals, and partial observability. A promising approach to address these challenges involves planning with a…

Artificial Intelligence · Computer Science 2025-04-07 Linfeng Zhao , Willie McClinton , Aidan Curtis , Nishanth Kumar , Tom Silver , Leslie Pack Kaelbling , Lawson L. S. Wong

We propose the concept of Speculative Execution for Visual Analytics and discuss its effectiveness for model exploration and optimization. Speculative Execution enables the automatic generation of alternative, competing model configurations…

Human-Computer Interaction · Computer Science 2019-08-08 Fabian Sperrle , Jürgen Bernard , Michael Sedlmair , Daniel Keim , Mennatallah El-Assady

Net load forecasting is crucial for energy planning and facilitating informed decision-making regarding trade and load distributions. However, evaluating forecasting models' performance against benchmark models remains challenging, thereby…

Human-Computer Interaction · Computer Science 2025-03-13 Kaustav Bhattacharjee , Soumya Kundu , Indrasis Chakraborty , Aritra Dasgupta

Search engines enable the retrieval of unknown information with texts. However, traditional methods fall short when it comes to understanding unfamiliar visual content, such as identifying an object that the model has never seen before.…

Computer Vision and Pattern Recognition · Computer Science 2024-10-29 Zhixin Zhang , Yiyuan Zhang , Xiaohan Ding , Xiangyu Yue

We construct and propose the "Bayesian Validation Metric" (BVM) as a general model validation and testing tool. We find the BVM to be capable of representing all of the standard validation metrics (square error, reliability, probability of…

Methodology · Statistics 2019-10-28 Kevin Vanslette , Tony Tohme , Kamal Youcef-Toumi

The complexity of the data generated by (magneto)-hydrodynamic (HD/MHD) simulations requires advanced tools for their analysis and visualization. The dramatic improvements in virtual reality (VR) technologies have inspired us to seek the…

Human-Computer Interaction · Computer Science 2023-08-09 S. Orlando , M. Miceli , U. Lo Cicero , S. Ustamujic

We introduce VEXUS, an interactive visualization framework for exploring user data to fulfill tasks such as finding a set of experts, forming discussion groups and analyzing collective behaviors. User data is characterized by a combination…

Data visualization is by far the most commonly used mechanism to explore data, especially by novice data analysts and data scientists. And yet, current visual analytics tools are rather limited in their ability to guide data scientists to…

Databases · Computer Science 2018-01-16 Tarique Siddiqui , Albert Kim , John Lee , Karrie Karahalios , Aditya Parameswaran

Existing model evaluation tools mainly focus on evaluating classification models, leaving a gap in evaluating more complex models, such as object detection. In this paper, we develop an open-source visual analysis tool, Uni-Evaluator, to…

Computer Vision and Pattern Recognition · Computer Science 2023-08-11 Changjian Chen , Yukai Guo , Fengyuan Tian , Shilong Liu , Weikai Yang , Zhaowei Wang , Jing Wu , Hang Su , Hanspeter Pfister , Shixia Liu

Modern data analytics underpinned by machine learning techniques has become a key enabler to the automation of data-led decision making. As an important branch of state-of-the-art data analytics, business process predictions are also faced…

Artificial Intelligence · Computer Science 2021-07-22 Chun Ouyang , Renuka Sindhgatta , Catarina Moreira

Inquiry-based modeling is essential to scientific practice. However, modeling is difficult for novice scientists in part due to limited domain-specific knowledge and quantitative skills. VERA is an interactive tool that helps users…

Human-Computer Interaction · Computer Science 2022-09-07 Sungeun An , Robert Bates , Spencer Rugaber , Jennifer Hammock , Emily Weigel , Ashok K. Goel

Interpretation and diagnosis of machine learning models have gained renewed interest in recent years with breakthroughs in new approaches. We present Manifold, a framework that utilizes visual analysis techniques to support interpretation,…

Machine Learning · Computer Science 2019-01-18 Jiawei Zhang , Yang Wang , Piero Molino , Lezhi Li , David S. Ebert

Climate science produces a wealth of complex, high-dimensional, multivariate data from observations and numerical models. These data are critical for understanding climate changes and their socioeconomic impacts. Climate scientists are…

Human-Computer Interaction · Computer Science 2024-08-01 Abdullah-Al-Raihan Nayeem , Dongyun Han , Huikyo Lee , Donghoon Kim , Daniel Feldman , William J. Tolone , Daniel Crichton , Isaac Cho

Machine learning (ML) interpretability techniques can reveal undesirable patterns in data that models exploit to make predictions--potentially causing harms once deployed. However, how to take action to address these patterns is not always…

We introduce our ongoing work toward an insight-based evaluation methodology aimed at understanding practitioners' mental models when exploring medical data. It is based on ParcoursVis, a Progressive Visual Analytics system designed to…

Human-Computer Interaction · Computer Science 2025-09-15 Ambre Assor , Jean-Daniel Fekete

Virtual experiments (VEs), a modern tool in metrology, can be used to help perform an uncertainty evaluation for the measurand. Current guidelines in metrology do not cover the many possibilities to incorporate VEs into an uncertainty…

Applications · Statistics 2024-04-18 Finn Hughes , Manuel Marschall , Gerd Wübbeler , Gertjan Kok , Marcel van Dijk , Clemens Elster

With the advent of sophisticated machine learning (ML) techniques and the promising results they yield, especially in medical applications, where they have been investigated for different tasks to enhance the decision-making process. Since…

Data visualizations typically show retrospective views of an existing dataset with little or no focus on repeatability. However, consumers of these tools often use insights gleaned from retrospective visualizations as the basis for…

Human-Computer Interaction · Computer Science 2019-11-13 David Gotz , Brandon A. Price , Annie T. Chen

Most existing works in visual question answering (VQA) are dedicated to improving the accuracy of predicted answers, while disregarding the explanations. We argue that the explanation for an answer is of the same or even more importance…

Computer Vision and Pattern Recognition · Computer Science 2018-08-28 Qing Li , Qingyi Tao , Shafiq Joty , Jianfei Cai , Jiebo Luo

The increasing capture and analysis of large-scale longitudinal health data offer opportunities to improve healthcare and advance medical understanding. However, a critical gap exists between (a) -- the observation of patterns and…

Human-Computer Interaction · Computer Science 2025-08-26 Arran Zeyu Wang , David Borland , David Gotz