English
Related papers

Related papers: ZodiacEdge: a Datalog Engine With Incremental Rule…

200 papers

Modern logistics networks generate rich operational data streams at every warehouse node and transportation lane -- from order timestamps and routing records to shipping manifests -- yet predicting delivery delays remains predominantly…

Artificial Intelligence · Computer Science 2026-04-08 Zhiming Xue , Menghao Huo , Yujue Wang

Neural network models have demonstrated impressive performance in predicting pathologies and outcomes from the 12-lead electrocardiogram (ECG). However, these models often need to be trained with large, labelled datasets, which are not…

Machine Learning · Computer Science 2022-04-12 Aniruddh Raghu , Divya Shanmugam , Eugene Pomerantsev , John Guttag , Collin M. Stultz

Motivated by the increasing prominence of loosely-coupled systems, such as mobile and sensor networks, which are characterised by intermittent connectivity and volatile data, we study the tagging of data with so-called expiration times.…

Databases · Computer Science 2007-05-23 Albrecht Schmidt , Christian S. Jensen

Data warehouses are nowadays an important component in every competitive system, it's one of the main components on which business intelligence is based. We can even say that many companies are climbing to the next level and use a set of…

Databases · Computer Science 2013-10-23 Naoual Mouhni , Abderrafiaa Elkalay

In this study, we present a novel clinical decision support system and discuss its interpretability-related properties. It combines a decision set of rules with a machine learning scheme to offer global and local interpretability. More…

Methodology · Statistics 2021-07-16 Francisco Valente , Simão Paredes , Jorge Henriques

This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applied to an autonomous driving problem. Combining abstract…

Robotics · Computer Science 2022-09-21 Disha Kamale , Sofie Haesaert , Cristian-Ioan Vasile

Rules complement and extend ontologies on the Semantic Web. We refer to these rules as onto-relational since they combine DL-based ontology languages and Knowledge Representation formalisms supporting the relational data model within the…

Artificial Intelligence · Computer Science 2012-10-30 Francesca A. Lisi

With good explanatory power and controllability, rule-based methods play an important role in many tasks such as knowledge reasoning and decision support. However, existing studies primarily focused on learning chain-like rules, which limit…

Artificial Intelligence · Computer Science 2025-01-07 Wangtao Sun , Shizhu He , Jun Zhao , Kang Liu

With the exponential growth of time-domain surveys, the volume of light curves has increased rapidly. However, many survey projects, such as Gaia, still rely on offline batch-processing workflows in which data are calibrated, merged, and…

Instrumentation and Methods for Astrophysics · Physics 2025-11-25 Xinghang Yu , Ce Yu , Zeguang Shao , Bin Yang

This paper proposes Shoggoth, an efficient edge-cloud collaborative architecture, for boosting inference performance on real-time video of changing scenes. Shoggoth uses online knowledge distillation to improve the accuracy of models…

Computer Vision and Pattern Recognition · Computer Science 2023-06-28 Liang Wang , Kai Lu , Nan Zhang , Xiaoyang Qu , Jianzong Wang , Jiguang Wan , Guokuan Li , Jing Xiao

1. Many ecological decisions are slowed by the gap between collecting and analysing biodiversity data. Edge computing moves processing closer to the sensor, with edge artificial intelligence (AI) enabling on-device inference, reducing…

Computers and Society · Computer Science 2026-02-17 Aude Vuilliomenet , Kate E. Jones , Duncan Wilson

We present a new approach to classification that combines data and knowledge. In this approach, data mining is used to derive association rules (possibly with negations) from data. Those rules are leveraged to increase the predictive…

Artificial Intelligence · Computer Science 2025-10-22 Gilles Audemard , Sylvie Coste-Marquis , Pierre Marquis , Mehdi Sabiri , Nicolas Szczepanski

Machine learning and deep learning-based decision making has become part of today's software. The goal of this work is to ensure that machine learning and deep learning-based systems are as trusted as traditional software. Traditional…

One of the key challenges when developing a predictive model is the capability to describe the domain knowledge and the cause-effect relationships in a simple way. Decision rules are a useful and important methodology in this context,…

Machine Learning · Computer Science 2021-10-19 Francisco Valente , Jorge Henriques , Simão Paredes , Teresa Rocha , Paulo de Carvalho , João Morais

Data augmentations are effective in improving the invariance of learning machines. We argue that the core challenge of data augmentations lies in designing data transformations that preserve labels. This is relatively straightforward for…

Machine Learning · Computer Science 2023-03-01 Youzhi Luo , Michael McThrow , Wing Yee Au , Tao Komikado , Kanji Uchino , Koji Maruhashi , Shuiwang Ji

Finding the shortest path distance between an arbitrary pair of vertices is a fundamental problem in graph theory. A tremendous amount of research has been successfully attempted on this problem, most of which is limited to static graphs.…

Data Structures and Algorithms · Computer Science 2021-02-18 Muhammad Farhan , Qing Wang

In this paper, we present new incremental algorithms for maintaining data structures that represent all connectivity cuts of size one in directed graphs (digraphs), and the strongly connected components that result by the removal of each of…

Data Structures and Algorithms · Computer Science 2018-03-01 Loukas Georgiadis , Giuseppe F. Italiano , Nikos Parotsidis

Recently, IoT technologies have been progressed and applications of maintenance area are expected. However, IoT maintenance applications are not spread in Japan yet because of insufficient analysis of real time situation, high cost to…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-09-17 Yoji Yamato , Hiroki Kumazaki , Yoshifumi Fukumoto

Graph pattern matching algorithms to handle million-scale dynamic graphs are widely used in many applications such as social network analytics and suspicious transaction detections from financial networks. On the other hand, the computation…

Databases · Computer Science 2019-07-10 Hiroki Kanezashi , Toyotaro Suzumura , Dario Garcia-Gasulla , Min-hwan Oh , Satoshi Matsuoka

Rule-based systems remain central in safety-critical domains but often struggle with scalability, brittleness, and goal misspecification. These limitations can lead to reward hacking and failures in formal verification, as AI systems tend…

Logic in Computer Science · Computer Science 2026-05-12 Zainab Rehan , Christian Medeiros Adriano , Sona Ghahremani , Holger Giese