English
Related papers

Related papers: Anteater: Interactive Visualization of Program Exe…

200 papers

The popularity of racket sports (e.g., tennis and table tennis) leads to high demands for data analysis, such as notational analysis, on player performance. While sports videos offer many benefits for such analysis, retrieving accurate…

Human-Computer Interaction · Computer Science 2021-05-21 Dazhen Deng , Jiang Wu , Jiachen Wang , Yihong Wu , Xiao Xie , Zheng Zhou , Hui Zhang , Xiaolong Zhang , Yingcai Wu

Modern programming languages, such as Python, support language features from several paradigms, such as object-oriented, procedural, and functional. Research has shown that code written in some paradigms can be harder to comprehend, but to…

Software Engineering · Computer Science 2025-11-12 Samuel W. Flint , Jigyasa Chauhan , Niloofar Mansoor , Bonita Sharif , Robert Dyer

Researchers got success in mining the Web usage data effectively and efficiently. But representation of the mined patterns is often not in a form suitable for direct human consumption. Hence mechanisms and tools that can represent mined…

Human-Computer Interaction · Computer Science 2009-09-01 Ratnesh Kumar Jain , Dr. Suresh Jain , Dr. R. S. Kasana

Debugging transactions and understanding their execution are of immense importance for developing OLAP applications, to trace causes of errors in production systems, and to audit the operations of a database. However, debugging transactions…

With the growth of data sizes, visualizing them becomes more complex. Desktop displays are insufficient for presenting and collaborating on complex data visualizations. Large displays could provide the necessary space to demo or present…

Human-Computer Interaction · Computer Science 2024-09-17 Mahsa Sinaei Hamed , Pak Kwan , Matthew Klich , Jillian Aurisano , Fateme Rajabiyazdi

Large-scale numerical simulations of planetary interiors require dedicated visualization algorithms that are able to efficiently extract a large amount of information in an interactive and user-friendly way. Here we present a software…

Distributed systems are comprised of many components that communicate together to form an application. Distributed tracing gives us visibility into these complex interactions, but it can be difficult to reason about the system's behavior,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-11 Adrita Samanta , Henry Han , Darby Huye , Lan Liu , Zhaoqi Zhang , Raja R. Sambasivan

The practical impact of deep learning on complex supervised learning problems has been significant, so much so that almost every Artificial Intelligence problem, or at least a portion thereof, has been somehow recast as a deep learning…

Machine Learning · Statistics 2018-03-19 Housam Khalifa Bashier Babiker , Randy Goebel

Recommender system exists everywhere in the business world. From Goodreads to TikTok, customers of internet products become more addicted to the products thanks to the technology. Industrial practitioners focus on increasing the technical…

Information Retrieval · Computer Science 2023-03-03 Hao Wang

Satire, a form of artistic expression combining humor with implicit critique, holds significant social value by illuminating societal issues. Despite its cultural and societal significance, satire comprehension, particularly in purely…

Computer Vision and Pattern Recognition · Computer Science 2025-12-02 Yue Jiang , Haiwei Xue , Minghao Han , Mingcheng Li , Xiaolu Hou , Dingkang Yang , Lihua Zhang , Xu Zheng

Interpretability has attracted increasing attention in earth observation problems. We apply interactive visualization and representation analysis to guide interpretation of glacier segmentation models. We visualize the activations from a…

Computer Vision and Pattern Recognition · Computer Science 2022-03-14 Minxing Zheng , Xinran Miao , Kris Sankaran

Interactive program verification is characterized by iterations of unfinished proof attempts. To support the process of constructing a complete proof, many interactive program verification systems offer a proof scripting language as a…

Logic in Computer Science · Computer Science 2018-04-13 Bernhard Beckert , Sarah Grebing , and Alexander Weigl

The design of authentication protocols, for online banking services in particular and any service that is of sensitive nature in general, is quite challenging. Indeed, enforcing security guarantees has overhead thus imposing additional…

Cryptography and Security · Computer Science 2011-12-13 DaeHun Nyang , Abedelaziz Mohaisen , Taekyoung Kwon , Brent Kang , Angelos Stavrou

Monitoring and analyzing process traces is a critical task for modern companies and organizations. In scenarios where there is a gap between trace events and reference business activities, this entails an interpretation problem, amounting…

Artificial Intelligence · Computer Science 2026-05-26 Bettina Fazzinga , Sergio Flesca , Filippo Furfaro , Luigi Pontieri , Francesco Scala

Appropriate evaluation and experimental design are fundamental for empirical sciences, particularly in data-driven fields. Due to the successes in computational modeling of languages, for instance, research outcomes are having an…

Human-Computer Interaction · Computer Science 2022-12-21 Kostiantyn Kucher , Nicole Sultanum , Angel Daza , Vasiliki Simaki , Maria Skeppstedt , Barbara Plank , Jean-Daniel Fekete , Narges Mahyar

As AI systems increasingly become embedded in interactive and im-mersive artistic environments, artists and technologists are discovering new opportunities to engage with their interpretive and autonomous capacities as creative…

Human-Computer Interaction · Computer Science 2026-02-09 Pavlos Panagiotidis , Jocelyn Spence , Nils Jaeger , Paul Tennent

Comparative analysis of event sequence data is essential in many application domains, such as website design and medical care. However, analysts often face two challenges: they may not always know which sets of event sequences in the data…

Human-Computer Interaction · Computer Science 2020-06-24 Siwei Fu , Jian Zhao , Linping Yuan , Zhicheng Liu , Kwan-Liu Ma , Huamin Qu

Developing an algorithm for a visualization prototype often involves the direct comparison of different development stages and design decisions, and even minor modifications may dramatically affect the results. While existing development…

Software Engineering · Computer Science 2020-01-08 Fabian Bolte , Stefan Bruckner

We present a web-based environment that connects annotation, abstraction, and argumentation during the interpretation of text. As a visual interface for scholarly reading and writing, Textarium combines human analysis with lightweight…

Human-Computer Interaction · Computer Science 2025-09-17 Philipp Proff , Marian Dörk

A descriptive approach for automatic generation of visual blends is presented. The implemented system, the Blender, is composed of two components: the Mapper and the Visual Blender. The approach uses structured visual representations along…

Artificial Intelligence · Computer Science 2019-02-20 João M. Cunha , João Gonçalves , Pedro Martins , Penousal Machado , Amílcar Cardoso