English
Related papers

Related papers: Inviwo -- A Visualization System with Usage Abstra…

200 papers

This paper proposes a visual analytics framework that addresses the complex user interactions required through a command-line interface to run analyses in distributed data analysis systems. The visual analytics framework facilitates the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-12 Abdullah-Al-Raihan Nayeem , Mohammed Elshambakey , Todd Dobbs , Huikyo Lee , Daniel Crichton , Yimin Zhu , Chanachok Chokwitthaya , William J. Tolone , Isaac Cho

High-level synthesis (HLS) is a key component for the hardware acceleration of applications, especially thanks to the diffusion of reconfigurable devices in many domains, from data centers to edge devices. HLS reduces development times by…

Cryptography and Security · Computer Science 2021-04-06 Christian Pilato , Francesco Regazzoni

In this report, we aim at the development of an online abstraction framework for multi-agent systems under coupled constraints. The motion capabilities of each agent are abstracted through a finite state transition system in order to…

Optimization and Control · Mathematics 2016-11-10 Dimitris Boskos , Dimos V. Dimarogonas

A flexible, scalable and affordable virtual reality software system architecture is proposed. This solution can be easily implemented on different hardware configurations: on a single computer or on a computer cluster. The architecture is…

Graphics · Computer Science 2013-08-28 Stoyan Maleshkov , Dimo Chotrov

Many data abstraction types, such as networks or set relationships, remain unfamiliar to data workers beyond the visualization research community. We conduct a survey and series of interviews about how people describe their data, either…

Human-Computer Interaction · Computer Science 2020-09-08 Alex Bigelow , Katy Williams , Katherine E. Isaacs

We present a general graph-based modeling abstraction for optimization that we call an OptiGraph. Under this abstraction, any optimization problem is treated as a hierarchical hypergraph in which nodes represent optimization subproblems and…

Optimization and Control · Mathematics 2026-05-11 Jordan Jalving , Sungho Shin , Victor M. Zavala

Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification.…

Logic in Computer Science · Computer Science 2015-03-06 Arlen Cox

The rapid integration of vector search into AI applications, particularly for Retrieval Augmented Generation (RAG), has catalyzed the emergence of a diverse ecosystem of specialized vector databases. While this innovation offers a rich…

Databases · Computer Science 2026-01-13 Chandan Suri , Gursifath Bhasin

Currently, most existing approaches for the design of Automated Driving System (ADS) scenarios focus on the description at one particular abstraction level typically the most detailed one. This practice often removes information at higher…

Software Engineering · Computer Science 2021-09-14 Stefan Klikovits , Paolo Arcaini

In the task abstraction phase of the visualization design process, including in "design studies", a practitioner maps the observed domain goals to generalizable abstract tasks using visualization theory in order to better understand and…

Human-Computer Interaction · Computer Science 2020-03-04 Aditeya Pandey , Yixuan Zhang , John A. Guerra-Gomez , Andrea G. Parker , Michelle A. Borkin

The goal of this report is to define abstractions for multi-agent systems with feedback interconnection in their dynamics. In the proposed decentralized framework, we specify a finite or countable transition system for each agent which only…

Systems and Control · Computer Science 2016-08-24 Dimitris Boskos , Dimos V. Dimarogonas

Visualization and virtual environments (VEs) have been two interconnected parallel strands in visual computing for decades. Some VEs have been purposely developed for visualization applications, while many visualization applications are…

Human-Computer Interaction · Computer Science 2018-12-04 Min Chen , Kelly Gaither , Nigel W. John , Brian McCann

The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on a recently proposed method to compute abstractions whose…

Optimization and Control · Mathematics 2017-11-07 Alexander Weber , Matthias Rungger , Gunther Reissig

Process-Mining techniques aim to use event data about past executions to gain insight into how processes are executed. While these techniques are proven to be very valuable, they are less successful to reach their goal if the process is…

Artificial Intelligence · Computer Science 2019-06-04 Massimiliano de Leoni , Safa Dundar

In this paper, we propose a software abstraction layer to simplify the design and synthesis of whole-body controllers without making any preliminary assumptions on the control law to be implemented. The main advantage of the proposed…

Visual recognition requires rich representations that span levels from low to high, scales from small to large, and resolutions from fine to coarse. Even with the depth of features in a convolutional network, a layer in isolation is not…

Computer Vision and Pattern Recognition · Computer Science 2019-01-07 Fisher Yu , Dequan Wang , Evan Shelhamer , Trevor Darrell

Spreadsheets are the go-to tool for computerized calculation and modelling, but are hard to comprehend and adapt after reaching a certain complexity. In general, cognition of complex systems is facilitated by having a higher order mental…

Software Engineering · Computer Science 2018-09-11 Patrick Koch

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…

Computer Vision and Pattern Recognition · Computer Science 2024-12-09 Américo Pereira , Pedro Carvalho , Luís Côrte-Real

Visual analytics (VA) systems have been widely used in various application domains. However, VA systems are complex in design, which imposes a serious problem: although the academic community constantly designs and implements new designs,…

Human-Computer Interaction · Computer Science 2024-02-27 Lu Ying , Aoyu Wu , Haotian Li , Zikun Deng , Ji Lan , Jiang Wu , Yong Wang , Huamin Qu , Dazhen Deng , Yingcai Wu

FPGA accelerators are gaining increasing attention in both cloud and edge computing because of their hardware flexibility, high computational throughput, and low power consumption. However, the design flow of FPGAs often requires specific…

Hardware Architecture · Computer Science 2021-02-22 Masudul Hassan Quraishi , Erfan Bank Tavakoli , Fengbo Ren