English
Related papers

Related papers: EVM: Incorporating Model Checking into Exploratory…

200 papers

Conformance checking is a major function of process mining, which allows organizations to identify and alleviate potential deviations from the intended process behavior. To fully leverage its benefits, it is important that conformance…

Software Engineering · Computer Science 2022-09-21 Jana-Rebecca Rehse , Luise Pufahl , Michael Grohs , Lisa-Marie Klein

Visual analytics tools can help illustrate the spread of infectious diseases and enable informed decisions on epidemiological and public health issues. To create visualisation tools that are intuitive, easy to use, and effective in…

Context: A growing amount of code is written to explore and analyze data, often by data analysts who do not have a traditional background in programming, for example by journalists. Inquiry: The way such data anlysts write code is different…

Programming Languages · Computer Science 2020-02-17 Tomas Petricek

Population aging is an increasingly important consideration for health care in the 21th century, and continuing to have access and interact with digital health information is a key challenge for aging populations. Voice-based Intelligent…

Human-Computer Interaction · Computer Science 2022-08-02 Yichen Han , Christopher Bo Han , Chen Chen , Peng Wei Lee , Michael Hogarth , Alison A. Moore , Nadir Weibel , Emilia Farcas

Designing a visualization is often a process of iterative refinement where the designer improves a chart over time by adding features, improving encodings, and fixing mistakes. However, effective design requires external critique and…

Human-Computer Interaction · Computer Science 2023-03-14 Sungbok Shin , Sanghyun Hong , Niklas Elmqvist

Many processes, from gene interaction in biology to computer networks to social media, can be modeled more precisely as temporal hypergraphs than by regular graphs. This is because hypergraphs generalize graphs by extending edges to connect…

Human-Computer Interaction · Computer Science 2021-05-12 Maximilian T. Fischer , Devanshu Arya , Dirk Streeb , Daniel Seebacher , Daniel A. Keim , Marcel Worring

We launch EVA, a vision-centric foundation model to explore the limits of visual representation at scale using only publicly accessible data. EVA is a vanilla ViT pre-trained to reconstruct the masked out image-text aligned vision features…

Computer Vision and Pattern Recognition · Computer Science 2022-12-06 Yuxin Fang , Wen Wang , Binhui Xie , Quan Sun , Ledell Wu , Xinggang Wang , Tiejun Huang , Xinlong Wang , Yue Cao

The design space of visual tools that aim to help people create schemas for property graphs is explored. Interviews are conducted with experts in the domain of property graphs and data management in general. Through this collaboration, we…

Databases · Computer Science 2022-01-12 Nimo Beeren

We developed a novel approach to identification and model testing in linear structural equation models (SEMs) based on auxiliary variables (AVs), which generalizes a widely-used family of methods known as instrumental variables. The…

Methodology · Statistics 2019-10-09 Bryant Chen , Daniel Kumor , Elias Bareinboim

Evaluating generative image models remains a difficult problem. This is due to the high dimensionality of the outputs, the challenging task of representing but not replicating training data, and the lack of metrics that fully correspond to…

Human-Computer Interaction · Computer Science 2023-01-12 Yannick Assogba , Adam Pearce , Madison Elliott

Verbal autopsy (VA) is a survey-based tool widely used to infer cause of death (COD) in regions without complete-coverage civil registration and vital statistics systems. In such settings, many deaths happen outside of medical facilities…

Applications · Statistics 2022-10-04 Zehang Richard Li , Jason Thomas , Eungang Choi , Tyler H. McCormick , Samuel J. Clark

Recently, evolving networks are becoming a suitable form to model many real-world complex systems, due to their peculiarities to represent the systems and their constituting entities, the interactions between the entities and the…

Artificial Intelligence · Computer Science 2017-09-21 Angelo Impedovo , Corrado Loglisci , Michelangelo Ceci

A growing body of research runs human subject evaluations to study whether providing users with explanations of machine learning models can help them with practical real-world use cases. However, running user studies is challenging and…

Human-Computer Interaction · Computer Science 2022-08-23 Valerie Chen , Nari Johnson , Nicholay Topin , Gregory Plumb , Ameet Talwalkar

Bagging and boosting are two popular ensemble methods in machine learning (ML) that produce many individual decision trees. Due to the inherent ensemble characteristic of these methods, they typically outperform single decision trees or…

Machine Learning · Computer Science 2024-04-19 Angelos Chatzimparmpas , Rafael M. Martins , Andreas Kerren

Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) has recently extended the ECMAScript language (i.e.,…

Logic in Computer Science · Computer Science 2018-04-18 Cristian Mattarei , Clark Barrett , Shu-yu Guo , Bradley Nelson , Ben Smith , JF Bastien

Visual exploration of multi-classification models with large number of classes would help machine learning experts in identifying the root cause of a problem that occurs during learning phase such as miss-classification of instances. Most…

Human-Computer Interaction · Computer Science 2023-09-13 Syed Ahsan Ali Dilawer , Shah Rukh Humayoun

Visual language is a system of communication that conveys information through symbols, shapes, and spatial arrangements. Diagrams are a typical example of a visual language depicting complex concepts and their relationships in the form of…

Computation and Language · Computer Science 2025-05-27 Yifan Hou , Buse Giledereli , Yilei Tu , Mrinmaya Sachan

Evidence Accumulation Models (EAMs) have been widely used to investigate speeded decision-making processes, but they have largely neglected the role of predictive processes emphasized by theories of the predictive brain. In this paper, we…

Vision-language models (VLMs) excel at extracting and reasoning about information from images. Yet, their capacity to leverage internal knowledge about specific entities remains underexplored. This work investigates the disparity in model…

Computation and Language · Computer Science 2026-01-06 Ido Cohen , Daniela Gottesman , Mor Geva , Raja Giryes

Domain experts increasingly use automated data science tools to incorporate machine learning (ML) models in their work but struggle to "debug" these models when they are incorrect. For these experts, semantic interactions can provide an…

Human-Computer Interaction · Computer Science 2023-10-17 Anamaria Crisan , Maddie Shang , Eric Brochu