中文
相关论文

相关论文: Understanding Visualization: A Formal Approach usi…

200 篇论文

Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help…

人工智能 · 计算机科学 2016-07-07 Renārs Liepiņš , Uldis Bojārs , Normunds Grūzītis , Kārlis Čerāns , Edgars Celms

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by convex regions in this space. After…

人工智能 · 计算机科学 2017-09-22 Lucas Bechberger , Kai-Uwe Kühnberger

Traditional category theory is typically based on set-theoretic principles and ideas, which are often non-constructive. An alternative approach to formalizing category theory is to use E-category theory, where hom sets become setoids. Our…

计算机科学中的逻辑 · 计算机科学 2025-05-13 David G. Berry , Marcelo P. Fiore

The integration of knowledge extracted from diverse models, whether described by domain experts or generated by machine learning algorithms, has historically been challenged by the absence of a suitable framework for specifying and…

人工智能 · 计算机科学 2024-04-03 Carlos Leandro

Data Visualization has become an important aspect of big data analytics and has grown in sophistication and variety. We specifically identify the need for an analytical framework for data visualization with textual information. Data…

社会与信息网络 · 计算机科学 2020-05-19 Cherilyn Conner , Jim Samuel , Andrey Kretinin , Yana Samuel , Lee Nadeau

Measurement is an integral part of modern science, providing the fundamental means for evaluation, comparison, and prediction. In the context of visualization, several different types of measures have been proposed, ranging from approaches…

图形学 · 计算机科学 2019-09-13 Fabian Bolte , Stefan Bruckner

Software security visualization is an interdisciplinary field that combines the technical complexity of cybersecurity, including threat intelligence and compliance monitoring, with visual analytics, transforming complex security data into…

软件工程 · 计算机科学 2025-09-26 Ishara Devendra , Chaman Wijesiriwardana , Prasad Wimalaratne

Visualization researchers and visualization professionals seek appropriate abstractions of visualization requirements that permit considering visualization solutions independently from specific problems. Abstractions can help us design,…

"Theory figures" are a staple of theoretical visualization research. Common shapes such as Cartesian planes and flowcharts can be used not only to explain conceptual contributions, but to think through and refine the contribution itself.…

人机交互 · 计算机科学 2025-10-03 Matthew Varona , Maryam Hedayati , Matthew Kay , Carolina Nobre

Semantic mapping is the incremental process of "mapping" relevant information of the world (i.e., spatial information, temporal events, agents and actions) to a formal description supported by a reasoning engine. Current research focuses on…

机器人学 · 计算机科学 2016-06-14 Roberto Capobianco , Jacopo Serafin , Johann Dichtl , Giorgio Grisetti , Luca Iocchi , Daniele Nardi

Modern database systems face a significant challenge in effectively handling the Variety of data. The primary objective of this paper is to establish a unified data model and theoretical framework for multi-model data management. To achieve…

数据库 · 计算机科学 2025-02-27 Jiaheng Lu

Visual scene understanding is a fundamental task in computer vision that aims to extract meaningful information from visual data. It traditionally involves disjoint and specialized algorithms for different tasks that are tailored for…

计算机视觉与模式识别 · 计算机科学 2024-12-09 Américo Pereira , Pedro Carvalho , Luís Côrte-Real

We propose a novel approach to improve a visual-semantic embedding model by incorporating concept representations captured from an external structured knowledge base. We investigate its performance on image classification under both…

计算机视觉与模式识别 · 计算机科学 2020-09-22 Mirantha Jayathilaka , Tingting Mu , Uli Sattler

Natural language descriptions sometimes accompany visualizations to better communicate and contextualize their insights, and to improve their accessibility for readers with disabilities. However, it is difficult to evaluate the usefulness…

人机交互 · 计算机科学 2021-10-12 Alan Lundgard , Arvind Satyanarayan

Providing system-generated explanations for recommendations represents an important step towards transparent and trustworthy recommender systems. Explainable recommender systems provide a human-understandable rationale for their outputs.…

信息检索 · 计算机科学 2024-06-06 Mohamed Amine Chatti , Mouadh Guesmi , Arham Muslim

Statisticians are not only one of the earliest professional adopters of data visualization, but also some of its most prolific users. Understanding how these professionals utilize visual representations in their analytic process may shed…

人机交互 · 计算机科学 2025-11-18 Eric Newburger , Niklas Elmqvist

Appropriate evaluation is a key component in visualization research. It is typically based on empirical studies that assess visualization components or complete systems. While such studies often include the user of the visualization,…

人机交互 · 计算机科学 2019-08-05 Daniel Weiskopf

The success of scene graphs for visual scene understanding has brought attention to the benefits of abstracting a visual input (e.g., image) into a structured representation, where entities (people and objects) are nodes connected by edges…

计算机视觉与模式识别 · 计算机科学 2022-10-28 Mohamed Ashraf Abdelsalam , Zhan Shi , Federico Fancellu , Kalliopi Basioti , Dhaivat J. Bhatt , Vladimir Pavlovic , Afsaneh Fazly

How do classification models "see" our data? Based on their success in delineating behaviors, there must be some lens through which it is easy to see the boundary between classes; however, our current set of visualization techniques makes…

机器学习 · 计算机科学 2026-03-17 Christian Jorgensen , Arthur Y. Lin , Rhushil Vasavada , Rose K. Cersonsky

This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and…

软件工程 · 计算机科学 2010-03-18 Paolo Bottoni , Esther Guerra , Juan de Lara