English
Related papers

Related papers: Database-assisted automata learning

200 papers

In machine learning larger databases are usually associated with higher classification accuracy due to better generalization. This generalization may lead to non-optimal classifiers in some medical applications with highly variable…

Image and Video Processing · Electrical Eng. & Systems 2024-03-13 Michael Götz , Christian Weber , Christoph Kolb , Klaus Maier-Hein

Recent years, the database committee has attempted to develop automatic database management systems. Although some researches show that the applying AI to data management is a significant and promising direction, there still exists many…

Databases · Computer Science 2021-11-23 Yu Yan , Hongzhi Wang , Jian Ma , Jian Geng , Yuzhuo Wang

Minimal deterministic finite automata (DFAs) can be reduced further at the expense of a finite number of errors. Recently, such minimization algorithms have been improved to run in time O(n log n), where n is the number of states of the…

Formal Languages and Automata Theory · Computer Science 2015-05-27 Andreas Maletti , Daniel Quernheim

Finite state automata (FSA) are ubiquitous in computer science. Two of the most important algorithms for FSA processing are the conversion of a non-deterministic finite automaton (NFA) to a deterministic finite automaton (DFA), and then the…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-03-30 Vlad Slavici , Daniel Kunkle , Gene Cooperman , Stephen Linton

Active learning (AL) is a prominent technique for reducing the annotation effort required for training machine learning models. Deep learning offers a solution for several essential obstacles to deploying AL in practice but introduces many…

Computation and Language · Computer Science 2022-05-10 Akim Tsvigun , Artem Shelmanov , Gleb Kuzmin , Leonid Sanochkin , Daniil Larionov , Gleb Gusev , Manvel Avetisian , Leonid Zhukov

Clustered Federated Learning has emerged as an effective approach for handling heterogeneous data across clients by partitioning them into clusters with similar or identical data distributions. However, most existing methods, including the…

Machine Learning · Computer Science 2026-03-03 Jonas Kirch , Sebastian Becker , Tiago Koketsu Rodrigues , Stefan Harmeling

The identification of deterministic finite automata (DFAs) from labeled examples is a cornerstone of automata learning, yet traditional methods focus on learning monolithic DFAs, which often yield a large DFA lacking simplicity and…

Software Engineering · Computer Science 2025-10-14 Junjie Meng , Jie An , Yong Li , Andrea Turrini , Fanjiang Xu , Naijun Zhan , Miaomiao Zhang

Performing anomaly detection in hybrid systems is a challenging task since it requires analysis of timing behavior and mutual dependencies of both discrete and continuous signals. Typically, it requires modeling system behavior, which is…

Machine Learning · Computer Science 2020-10-30 Nemanja Hranisavljevic , Oliver Niggemann , Alexander Maier

The identification of a deterministic finite automaton (DFA) from labeled examples is a well-studied problem in the literature; however, prior work focuses on the identification of monolithic DFAs. Although monolithic DFAs provide accurate…

Formal Languages and Automata Theory · Computer Science 2022-05-27 Niklas Lauffer , Beyazit Yalcinkaya , Marcell Vazquez-Chanlatte , Ameesh Shah , Sanjit A. Seshia

Machine-learning from a disparate set of tables, a data lake, requires assembling features by merging and aggregating tables. Data discovery can extend autoML to data tables by automating these steps. We present an in-depth analysis of such…

Databases · Computer Science 2025-05-20 Riccardo Cappuzzo , Aimee Coelho , Felix Lefebvre , Paolo Papotti , Gael Varoquaux

Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite…

Formal Languages and Automata Theory · Computer Science 2024-01-26 Simon Dierl , Paul Fiterau-Brostean , Falk Howar , Bengt Jonsson , Konstantinos Sagonas , Fredrik Tåquist

Deep learning and signal processing are closely correlated in many IoT scenarios such as anomaly detection to empower intelligence of things. Many IoT processors utilize digital signal processors (DSPs) for signal processing and build deep…

Hardware Architecture · Computer Science 2024-07-18 Fangfa Fu , Wenyu Zhang , Zesong Jiang , Zhiyu Zhu , Guoyu Li , Bing Yang , Cheng Liu , Liyi Xiao , Jinxiang Wang , Huawei Li , Xiaowei Li

A recent take towards Federated Analytics (FA), which allows analytical insights of distributed datasets, reuses the Federated Learning (FL) infrastructure to evaluate the summary of model performances across the training devices. However,…

Machine Learning · Computer Science 2021-06-01 Shashi Raj Pandey , Minh N. H. Nguyen , Tri Nguyen Dang , Nguyen H. Tran , Kyi Thar , Zhu Han , Choong Seon Hong

Deep learning and deep architectures are emerging as the best machine learning methods so far in many practical applications such as reducing the dimensionality of data, image classification, speech recognition or object segmentation. In…

Machine Learning · Computer Science 2018-07-10 The-Hien Dang-Ha

Deep learning (DL) has proven to be a highly effective approach for developing models in diverse contexts, including visual perception, speech recognition, and machine translation. However, the end-to-end process for applying DL is not…

Machine Learning · Computer Science 2022-05-18 Xuanyi Dong , David Jacob Kedziora , Katarzyna Musial , Bogdan Gabrys

We explore the possibility of exact algorithmic learning with gradient-based methods and introduce a differentiable framework capable of strong length generalization on arithmetic tasks. Our approach centers on Differentiable Finite-State…

Machine Learning · Computer Science 2025-12-01 Hristo Papazov , Francesco D'Angelo , Nicolas Flammarion

Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for different types of automata. The CALF project seeks to unify…

Formal Languages and Automata Theory · Computer Science 2023-02-03 Gerco van Heerdt , Tobias Kappé , Jurriaan Rot , Matteo Sammartino , Alexandra Silva

Reconstructing force fields (FFs) from atomistic simulation data is a challenge since accurate data can be highly expensive. Here, machine learning (ML) models can help to be data economic as they can be successfully constrained using the…

Chemical Physics · Physics 2022-10-27 Niklas Frederik Schmitz , Klaus-Robert Müller , Stefan Chmiela

Many tasks within NLP can be framed as sequential decision problems, ranging from sequence tagging to text generation. However, for many tasks, the standard training methods, including maximum likelihood (teacher forcing) and scheduled…

Computation and Language · Computer Science 2024-06-14 Jianing Yang , Harshine Visvanathan , Yilin Wang , Xinyi Hu , Matthew Gormley

Recent advances with in-memory columnar database techniques have increased the performance of analytical queries on very large databases and data warehouses. At the same time, advances in artificial intelligence (AI) algorithms have…

Databases · Computer Science 2017-12-11 Brad Carlile , Akiko Marti , Guy Delamarter