English
Related papers

Related papers: ProIO: An Event-Based I/O Stream Format for Protob…

200 papers

Given the rapid improvement of the detectors at high-energy physics experiments, the need for real-time data monitoring systems has become imperative. The significance of these systems lies in their ability to display experiment status,…

Human-Computer Interaction · Computer Science 2024-05-24 Nicholas Tan Jerome , Suren Chilingaryan , Timo Dritschler , Andreas Kopmann

To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we in- troduce three related concepts, those of: a proof movie, consisting of frames which record both user input and…

Logic in Computer Science · Computer Science 2010-05-18 Carst Tankink , Herman Geuvers , James McKinna , Freek Wiedijk

New advanced applications, such as autonomous driving and haptic communication, require to transmit multi-sensory data and require low latency and high reliability. These applications include. Existing implementations for such services have…

Networking and Internet Architecture · Computer Science 2020-10-09 Federico Chiariotti , Anay Ajit Deshpande , Marco Giordani , Kostantinos Antonakoglou , Andrea Zanella , Toktam Mahmoodi

We analyze the utilization of publish-subscribe protocols in IoT and Fog Computing and challenges around security configuration, performance, and qualitative characteristics. Such problems with security configuration lead to significant…

Cryptography and Security · Computer Science 2022-10-28 Wesley dos Reis Bezerra , Fernando Koch , Carlos Becker Westphall

In recent IoT (Internet of Things) and Web 2.0 technologies, a critical problem arises with respect to storing and processing the large amount of collected data. In this paper we develop and evaluate distributed infrastructures for storing…

Databases · Computer Science 2014-04-04 S. Sioutas , E. Sakkopoulos , A. Panaretos , D. Tsoumakos , P. Gerolymatos , G. Tzimas , Y. Manolopoulos

The primary goal of Optimal Power Flow (OPF) is to optimize the operation of a power system while meeting the demand and adhering to operational constraints. This paper presents a new approach for AC OPF. First, the approach constructs a…

Optimization and Control · Mathematics 2025-12-16 Mohammed N. Khamees , Kai Sun

Data loading has been one of the most common performance bottlenecks for many big data applications, especially when they are running on inefficient human-readable formats, such as JSON or CSV. Parsing, validating, integrity checking and…

Databases · Computer Science 2021-02-24 Cong Ding , Dixin Tang , Xi Liang , Aaron J. Elmore , Sanjay Krishnan

Effective long-term memory in conversational AI requires synthesizing information across multiple sessions. However, current systems place excessive reasoning burden on response generation, making performance significantly dependent on…

Computation and Language · Computer Science 2025-09-16 Sangyeop Kim , Yohan Lee , Sanghwa Kim , Hyunjong Kim , Sungzoon Cho

Search and information retrieval systems are becoming more expressive in interpreting user queries beyond the traditional weighted bag-of-words model of document retrieval. For example, searching for a flight status or a game score returns…

Human-Computer Interaction · Computer Science 2023-08-01 Vidya Setlur , Andriy Kanyuka , Arjun Srinivasan

Event cameras asynchronously output low-latency event streams, promising for state estimation in high-speed motion and challenging lighting conditions. As opposed to frame-based cameras, the motion-dependent nature of event cameras presents…

Computer Vision and Pattern Recognition · Computer Science 2025-04-01 Peiyu Chen , Fuling Lin , Weipeng Guan , Peng Lu

This study addresses the critical issue of ensuring data security and efficiency in interconnected devices, especially in IoT environments. The objective is to design and implement a model using cryptographic algorithms to enhance data…

Cryptography and Security · Computer Science 2024-07-24 Pedro Costa , Valderi Leithardt

ProMoAI is a novel tool that leverages Large Language Models (LLMs) to automatically generate process models from textual descriptions, incorporating advanced prompt engineering, error handling, and code generation techniques. Beyond…

Databases · Computer Science 2024-08-09 Humam Kourani , Alessandro Berti , Daniel Schuster , Wil M. P. van der Aalst

The data processing model for the CDF experiment is described. Data processing reconstructs events from parallel data streams taken with different combinations of physics event triggers and further splits the events into datasets of…

We propose PAIO, the first general-purpose framework that enables system designers to build custom-made Software-Defined Storage (SDS) data plane stages. It provides the means to implement storage optimizations adaptable to different…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-16 Ricardo Macedo , Yusuke Tanimura , Jason Haga , Vijay Chidambaram , José Pereira , João Paulo

The usefulness of semantic technologies in the context of security has been demonstrated many times, e.g., for processing certification evidence, log files, and creating security policies. Integrating semantic technologies, like ontologies,…

Software Engineering · Computer Science 2025-02-12 Christian Banse , Angelika Schneider , Immanuel Kunz

The data privacy constraint in online continual learning (OCL), where the data can be seen only once, complicates the catastrophic forgetting problem in streaming data. A common approach applied by the current SOTAs in OCL is with the use…

Machine Learning · Computer Science 2025-07-17 M. Anwar Ma'sum , Mahardhika Pratama , Savitha Ramasamy , Lin Liu , Habibullah Habibullah , Ryszard Kowalczyk

We propose EventHub, a novel framework for training deep-event stereo networks without ground truth annotations from costly active sensors, relying instead on standard color images. From these images, we derive either proxy annotations and…

Computer Vision and Pattern Recognition · Computer Science 2026-04-03 Luca Bartolomei , Fabio Tosi , Matteo Poggi , Stefano Mattoccia , Guillermo Gallego

When delegating computation to a service provider, as in cloud computing, we seek some reassurance that the output is correct and complete. Yet recomputing the output as a check is inefficient and expensive, and it may not even be feasible…

Data Structures and Algorithms · Computer Science 2015-03-19 Graham Cormode , Michael Mitzenmacher , Justin Thaler

Consider a message processing system whose objective is to produce the most current information as measured by the quantity known as "age of information". We have argued in previous papers that if we are allowed to design the message…

Performance · Computer Science 2021-06-17 George Kesidis , Takis Konstantopoulos , Michael Zazanis

The rapid expansion of edge devices and Internet-of-Things (IoT) continues to heighten the demand for data transport under limited spectrum resources. The goal-oriented communications (GO-COM), unlike traditional communication systems…

Image and Video Processing · Electrical Eng. & Systems 2025-10-07 Suchinthaka Wanninayaka , Achintha Wijesinghe , Weiwei Wang , Yu-Chieh Chao , Songyang Zhang , Zhi Ding