English
Related papers

Related papers: Towards Ideal Semantics for Analyzing Stream Reaso…

200 papers

Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on these data, however the work on reasoning procedures for streaming…

Logic in Computer Science · Computer Science 2018-08-19 Gulay Unel

Stream processing and reasoning is getting considerable attention in various application domains such as IoT, Industry IoT and Smart Cities. In parallel, reasoning and knowledge-based features have attracted research into many areas of…

Robotics · Computer Science 2022-01-31 Manh Nguyen-Duc , Anh Le-Tuan , Manfred Hauswirth , David Bowden , Danh Le-Phuoc

A growing number of applications that generate massive streams of data need intelligent data processing and online analysis. Real-time surveillance systems, telecommunication systems, sensor networks and other dynamic environments are such…

Databases · Computer Science 2011-05-11 Mahnoosh Kholghi , Mohammadreza Keyvanpour

In recent years, there has been an increasing interest in extending traditional stream processing engines with logical, rule-based, reasoning capabilities. This poses significant theoretical and practical challenges since rules can derive…

Artificial Intelligence · Computer Science 2018-11-16 Alessandro Ronca , Mark Kaminski , Bernardo Cuenca Grau , Boris Motik , Ian Horrocks

Stream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data. Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which…

Artificial Intelligence · Computer Science 2020-02-19 Thomas Eiter , Paul Ogris , Konstantin Schekotihin

Reasoning over streams of input data is an essential part of human intelligence. During the last decade {\em stream reasoning} has emerged as a research area within the AI-community with many potential applications. In fact, the increased…

Logic in Computer Science · Computer Science 2020-05-19 Christian Antić

We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams:…

Logic in Computer Science · Computer Science 2015-07-01 J. J. M. M. Rutten

The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas like ambient assisted living, robotics, or dynamic scheduling…

Artificial Intelligence · Computer Science 2013-01-09 Martin Gebser , Torsten Grote , Roland Kaminski , Philipp Obermeier , Orkunt Sabuncu , Torsten Schaub

Streaming systems are present throughout modern applications, processing continuous data in real-time. Existing streaming languages have a variety of semantic models and guarantees that are often incompatible. Yet all these languages are…

Programming Languages · Computer Science 2024-11-14 Shadaj Laddad , Alvin Cheung , Joseph M. Hellerstein , Mae Milano

Machine learning from data streams is an active and growing research area. Research on learning from streaming data typically makes strict assumptions linked to computational resource constraints, including requirements for stream mining…

Machine Learning · Computer Science 2023-11-01 Indre Zliobaite , Jesse Read

We aim to accelerate the original vision of the semantic web by revisiting design decisions that have defined the semantic web up until now. We propose a shift in direction that more broadly embraces existing data infrastructure by…

Databases · Computer Science 2024-07-30 Vleer Doing , Ryan Wisnesky

With the constant increase of available data in various domains, such as the Internet of Things, Social Networks or Smart Cities, it has become fundamental that agents are able to process and reason with such data in real time. Whereas…

Artificial Intelligence · Computer Science 2021-06-17 João Ferreira , Diogo Lavado , Ricardo Gonçalves , Matthias Knorr , Ludwig Krippahl , João Leite

[Background] Nowadays, there is a massive growth of data volume and speed in many types of systems. It introduces new needs for infrastructure and applications that have to handle streams of data with low latency and high throughput.…

Software Engineering · Computer Science 2019-09-25 Alexandre Vianna , Waldemar Ferreira , Kiev Gama

Semantic processing is a fundamental research domain in computational linguistics. In the era of powerful pre-trained language models and large language models, the advancement of research in this domain appears to be decelerating. However,…

Computation and Language · Computer Science 2023-10-31 Rui Mao , Kai He , Xulang Zhang , Guanyi Chen , Jinjie Ni , Zonglin Yang , Erik Cambria

Data-stream processing has continuously risen in importance as the amount of available data has been steadily increas- ing over the last decade. Besides traditional domains such as data-center monitoring and click analytics, there is an…

Databases · Computer Science 2018-01-17 Sebastian Herbst , Johannes Tenschert , Andreas M. Wahl , Klaus Meyer-Wegener

More and more, data is being produced in a streaming fashion. This has led to increased interest into how actionable insights can be extracted in real time from data streams through Stream Reasoning. Reasoning over data streams raises…

Artificial Intelligence · Computer Science 2026-03-03 Cas Proost , Pieter Bonte

In recent years, the management and processing of data streams has become a topic of active research in several fields of computer science such as, distributed systems, database systems, and data mining. A data stream can be thought of as a…

Databases · Computer Science 2012-08-06 Mahnoosh Kholghi , MohammadReza Keyvanpour

The semantic technologies pose new challenge for the way in which we built and operate systems. They are tools used to represent significances, associations, theories, separated from data and code. Their goal is to create, to discover, to…

Software Engineering · Computer Science 2009-03-26 Ioan Despi , Lucian Luca

Large reasoning models (LRMs) generate complex reasoning traces with planning, reflection, verification, and backtracking. In this work, we introduce ReasoningFlow, a unified schema for analyzing the semantic structures of these complex…

Computation and Language · Computer Science 2025-06-04 Jinu Lee , Sagnik Mukherjee , Dilek Hakkani-Tur , Julia Hockenmaier

We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information for communications and control in networked systems. We define semantics of…

‹ Prev 1 2 3 10 Next ›