English
Related papers

Related papers: Sublinear Matching With Finite Automata Using Reve…

200 papers

There were many algorithms to substitute the back-propagation (BP) in the deep neural network (DNN) training. However, they could not become popular because their training accuracy and the computational efficiency were worse than BP. One of…

Machine Learning · Computer Science 2019-01-09 Donghyeon Han , Hoi-jun Yoo

The paper addresses the problem of optimizing a class of composite functions on Riemannian manifolds and a new first order optimization algorithm (FOA) with a fast convergence rate is proposed. Through the theoretical analysis for FOA, it…

Numerical Analysis · Computer Science 2015-12-08 Haoran Chen , Yanfeng Sun , Junbin Gao , Yongli Hu

We present a new algorithm for deciding formula entailment in orthologic (a sound approximation of classical logic) that avoids the costly preprocessing phase of prior implementations while retaining the same $\mathcal{O}(n^2(1+|A|))$…

Logic in Computer Science · Computer Science 2026-05-19 Vladislas de Haldat , Simon Guilloud , Viktor Kunčak

A synchronizing word of a deterministic finite complete automaton is a word whose action maps every state to a single one. Finding a shortest or a short synchronizing word is a central computational problem in the theory of synchronizing…

Formal Languages and Automata Theory · Computer Science 2022-07-13 Marek Szykuła , Adam Zyzik

With today's increasing demand for digital devices in Substation Automation Systems (SAS) based on the IEC61850 standard, the measured data error due to the synchronization problem should be considered as a significant problem in…

Systems and Control · Electrical Eng. & Systems 2021-08-27 Mohammad Hashemi , Bijan Alizadeh

In many data classification problems, there is no linear relationship between an explanatory and the dependent variables. Instead, there may be ranges of the input variable for which the observed outcome is signficantly more or less likely.…

Machine Learning · Computer Science 2016-04-13 Mallory Sheth , Roy Welsch , Natasha Markuzon

This paper proposes a novel approach to improve the training efficiency and the generalization performance of Feed Forward Neural Networks (FFNNs) resorting to an optimal rescaling of input features (OFR) carried out by a Genetic Algorithm…

Machine Learning · Computer Science 2024-02-21 Federico Maria Vitrò , Marco Leonesio , Lorenzo Fagiano

We propose an algorithm for schema-based determinization of finite automata on words and of step-wise hedge automata on nested words. The idea is to integrate schema-based cleaning directly into automata determinization. We prove the…

Formal Languages and Automata Theory · Computer Science 2022-09-22 Joachim Niehren , Momar Sakho , Antonio Al Serhali

Truly intelligent systems are expected to make critical decisions with incomplete and uncertain data. Active feature acquisition (AFA), where features are sequentially acquired to improve the prediction, is a step towards this goal.…

Machine Learning · Computer Science 2021-07-12 Yang Li , Siyuan Shan , Qin Liu , Junier B. Oliva

Many graph algorithms can be viewed as sets of rules that are iteratively applied, with the number of iterations dependent on the size and complexity of the input graph. Existing machine learning architectures often struggle to represent…

Artificial Intelligence · Computer Science 2024-08-21 Florian Grötschla , Joël Mathys , Christoffer Raun , Roger Wattenhofer

Background: The computation of the statistical properties of motif occurrences has an obviously relevant practical application: for example, patterns that are significantly over- or under-represented in the genome are interesting candidates…

Genomics · Quantitative Biology 2021-11-01 Paolo Ribeca , Emanuele Raineri

In continual learning, where task data arrives in a sequence, fine-tuning on later tasks will often lead to performance degradation on earlier tasks. This is especially pronounced when these tasks come from diverse domains. In this setting,…

Machine Learning · Computer Science 2025-01-13 Anat Kleiman , Gintare Karolina Dziugaite , Jonathan Frankle , Sham Kakade , Mansheej Paul

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

Deep Packet Inspection (DPI) has been extensively employed for network security. It examines traffic payloads by searching for regular expressions (regex) with the Deterministic Finite Automaton (DFA) model. However, as the network…

Networking and Internet Architecture · Computer Science 2025-12-09 Yang Liu , Wenjun Zhu , Harry Chang , Yang Hong , Geoff Langdale , Kun Qiu , Jin Zhao

Although deep learning and end-to-end models have been widely used and shown superiority in automatic speech recognition (ASR) and text-to-speech (TTS) synthesis, state-of-the-art forced alignment (FA) models are still based on hidden…

Sound · Computer Science 2022-04-01 Jingbei Li , Yi Meng , Zhiyong Wu , Helen Meng , Qiao Tian , Yuping Wang , Yuxuan Wang

History-deterministic automata are those in which nondeterministic choices can be correctly resolved stepwise: there is a strategy to select a continuation of a run given the next input letter so that if the overall input word admits some…

Formal Languages and Automata Theory · Computer Science 2026-04-01 Soumyajit Paul , David Purser , Sven Schewe , Qiyi Tang , Patrick Totzke , Di-De Yen

We call matrix algorithms superfast if they use much fewer flops and memory cells than the input matrix has entries. Using such algorithms is indispensable for Big Data Mining and Analysis, where the input matrices are so immense that one…

Numerical Analysis · Mathematics 2025-01-17 Victor Y. Pan , John Svadlenka

We reinvestigate known lower bounds for the Intersection Non-Emptiness Problem for Deterministic Finite Automata (DFA's). We first strengthen conditional time complexity lower bounds from T. Kasai and S. Iwata (1985) which showed that…

Formal Languages and Automata Theory · Computer Science 2026-03-24 Michael Wehar

Nonuniform Deterministic Finite Automata (NUDFA) over monoids were invented by Barrington to study boundaries of nonuniform constant-memory computation. Later, results on these automata helped to indentify interesting classes of groups for…

Computational Complexity · Computer Science 2025-01-22 Paweł M. Idziak , Piotr Kawałek , Jacek Krzaczkowski

Slow feature analysis (SFA) is a new technique for extracting slowly varying features from a quickly varying signal. It is shown here that SFA can be applied to nonstationary time series to estimate a single underlying driving force with…

Statistical Mechanics · Physics 2007-05-23 Laurenz Wiskott