English
Related papers

Related papers: EVM: Incorporating Model Checking into Exploratory…

200 papers

How can we develop visual analytics (VA) tools that can be easily adopted? Visualization researchers have developed a large number of web-based VA tools to help data scientists in a wide range of tasks. However, adopting these standalone…

Human-Computer Interaction · Computer Science 2023-05-16 Zijie J. Wang , David Munechika , Seongmin Lee , Duen Horng Chau

A typical problem in Visual Analytics is that users are highly trained experts in their application domains, but have mostly no experience in using VA systems. Thus, users often have difficulties interpreting and working with visual…

Human-Computer Interaction · Computer Science 2023-08-21 Christina Stoiber , Davide Ceneda , Markus Wagner , Victor Schetinger , Theresia Gschwandtner , Marc Streit , Silvia Miksch , Wolfgang Aigner

Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a wide community of developers, and diverse computational…

Logic in Computer Science · Computer Science 2025-10-16 Alper Altuntas , Allison H. Baker , John Baugh , Ganesh Gopalakrishnan , Stephen F. Siegel

Visual Analytics (VA) integrates humans, data, and models as key actors in insight generation and data-driven decision-making. This position paper values and reflects on 16 VA process models and frameworks and makes nine high-level…

Human-Computer Interaction · Computer Science 2025-05-13 Jürgen Bernard

We introduce normalized nonnegative models (NNM) for explorative data analysis. NNMs are partial convexifications of models from probability theory. We demonstrate their value at the example of item recommendation. We show that NNM-based…

Machine Learning · Computer Science 2015-11-17 Cyril Stark

Recent advancements in large language models (LLMs) have enabled agents to tackle complex embodied tasks through environmental interaction. However, these agents still make suboptimal decisions and perform ineffective actions, as they often…

Computation and Language · Computer Science 2026-04-21 Hanlin Wang , Chak Tou Leong , Jian Wang , Wenjie Li

We show that multi-agent systems guided by vision-language models (VLMs) improve end-to-end autonomous scientific discovery. By treating plots as verifiable checkpoints, a VLM-as-a-judge evaluates figures against dynamically generated…

Computation and Language · Computer Science 2025-11-19 Kahaan Gandhi , Boris Bolliet , Inigo Zubeldia

Evaluation beyond aggregate performance metrics, e.g. F1-score, is crucial to both establish an appropriate level of trust in machine learning models and identify future model improvements. In this paper we demonstrate CrossCheck, an…

Human-Computer Interaction · Computer Science 2020-04-20 Dustin Arendt , Zhuanyi Huang , Prasha Shrestha , Ellyn Ayton , Maria Glenski , Svitlana Volkova

Vision-Language Models (VLMs) are powerful tools for processing and understanding text and images. We study the processing of visual tokens in the language model component of LLaVA, a prominent VLM. Our approach focuses on analyzing the…

Computer Vision and Pattern Recognition · Computer Science 2025-04-29 Clement Neo , Luke Ong , Philip Torr , Mor Geva , David Krueger , Fazl Barez

Visual analytics (VA) is typically applied to complex data, thus requiring complex tools. While visual analytics empowers analysts in data analysis, analysts may get lost in the complexity occasionally. This highlights the need for…

Human-Computer Interaction · Computer Science 2025-07-25 Yuheng Zhao , Xueli Shu , Liwen Fan , Lin Gao , Yu Zhang , Siming Chen

The advancement of embodied intelligence is accelerating the integration of robots into daily life as human assistants. This evolution requires robots to not only interpret high-level instructions and plan tasks but also perceive and adapt…

Robotics · Computer Science 2025-08-19 Zhichen Lou , Kechun Xu , Zhongxiang Zhou , Rong Xiong

Scientists often use meta-analysis to characterize the impact of an intervention on some outcome of interest across a body of literature. However, threats to the utility and validity of meta-analytic estimates arise when scientists average…

Human-Computer Interaction · Computer Science 2023-02-21 Alex Kale , Sarah Lee , Terrance Goan , Elizabeth Tipton , Jessica Hullman

Exploratory search starts with ill-defined goals and involves browsing, learning, and formulating new targets for search. To fluidly support such dynamic search behaviours, we focus on devising interactive visual facets (IVF), visualising…

Human-Computer Interaction · Computer Science 2021-09-14 Chen He , Luana Micallef , Barış Serim , Tung Vuong , Tuukka Ruotsalo , Giulio Jacucci

Recently, a new window to explore tweet data has been opened in TExVis tool through visualizing the relations between the frequent keywords. However, timeline exploration of tweet data, not present in TExVis, could play a critical factor in…

Human-Computer Interaction · Computer Science 2021-07-13 Shah Rukh Humayoun , Ibrahim Mansour , Ragaad AlTarawneh

Despite recent progress in artificial intelligence and machine learning, many state-of-the-art methods suffer from a lack of explainability and transparency. The ability to interpret the predictions made by machine learning models and…

Machine Learning · Computer Science 2021-11-10 Zihan Wang , Jialin Lu , Oliver Snow , Martin Ester

A conceptual model is used to support development and design within the area of systems and software modeling. The notion of validation refers to representing a domain in a model accurately and generating results using an executable model.…

Software Engineering · Computer Science 2021-07-01 Sabah Al-Fedaghi

Visual emotion analysis, which has gained considerable attention in the field of affective computing, aims to predict the dominant emotions conveyed by an image. Despite advancements in visual emotion analysis with the emergence of…

Multimedia · Computer Science 2025-05-13 SangEun Lee , Yubeen Lee , Eunil Park

As the deployment of computer vision technology becomes increasingly common in science, the need for explanations of the system and its output has become a focus of great concern. Driven by the pressing need for interpretable models in…

Computer Vision and Pattern Recognition · Computer Science 2023-12-01 Daniel Schug , Sai Yerramreddy , Rich Caruana , Craig Greenberg , Justyna P. Zwolak

Video, as a key driver in the global explosion of digital information, can create tremendous benefits for human society. Governments and enterprises are deploying innumerable cameras for a variety of applications, e.g., law enforcement,…

Networking and Internet Architecture · Computer Science 2023-10-12 Renjie Xu , Saiedeh Razavi , Rong Zheng

IT-security experts engage in behavior-based malware analysis in order to learn about previously unknown samples of malicious software (malware) or malware families. For this, they need to find and categorize suspicious patterns from large…

Cryptography and Security · Computer Science 2017-02-27 Markus Wagner , Alexander Rind , Niklas Thür , Wolfgang Aigner
‹ Prev 1 4 5 6 7 8 10 Next ›