English
Related papers

Related papers: Synchronization of strongly connected partial DFAs…

200 papers

We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability (modulo an unpublished result about unique highest trees of random graphs). Moreover, we also prove that the…

Formal Languages and Automata Theory · Computer Science 2024-07-10 Mikhail V. Berlinkov

We study the problem of synchronization of automata with random inputs. We present a series of automata such that the expected number of steps until synchronization is exponential in the number of states. At the same time, we show that the…

Formal Languages and Automata Theory · Computer Science 2014-04-29 Vladimir V. Gusev

A deterministic finite automaton is synchronizing if there exists a word that sends all states of the automaton to the same state. \v{C}ern\'y conjectured in 1964 that a synchronizing automaton with $n$ states has a synchronizing word of…

Combinatorics · Mathematics 2016-09-23 Henk Don

This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper…

Formal Languages and Automata Theory · Computer Science 2016-12-26 Arturo Carpi , Flavio D'Alessandro

Supporting increasingly higher rates in wireless networks requires highly accurate clock synchronization across the nodes. Motivated by this need, in this work we consider distributed clock synchronization for half-duplex (HD) TDMA wireless…

Signal Processing · Electrical Eng. & Systems 2024-06-24 Itay Zino , Ron Dabora , H. Vincent Poor

Federated learning is a distributed optimization paradigm that allows training machine learning models across decentralized devices while keeping the data localized. The standard method, FedAvg, suffers from client drift which can hamper…

Machine Learning · Computer Science 2024-04-15 Xiaowen Jiang , Anton Rodomanov , Sebastian U. Stich

Federated Learning (FL) has become a key choice for distributed machine learning. Initially focused on centralized aggregation, recent works in FL have emphasized greater decentralization to adapt to the highly heterogeneous network edge.…

Machine Learning · Computer Science 2022-12-15 Ahnaf Hannan Lodhi , Barış Akgün , Öznur Özkasap

Many natural language processing systems operate over tokenizations of text to address the open-vocabulary problem. In this paper, we give and analyze an algorithm for the efficient construction of deterministic finite automata (DFA)…

Formal Languages and Automata Theory · Computer Science 2025-05-27 Martin Berglund , Willeke Martens , Brink van der Merwe

Several reachability problems in finite automata, such as completeness of NFAs and synchronisation of total DFAs, correspond to fundamental properties of sets of nonnegative matrices. In particular, the two mentioned properties correspond…

Formal Languages and Automata Theory · Computer Science 2025-07-25 Stefan Kiefer , Andrew Ryzhikov

Fast matching of regular expressions with bounded repetition, aka counting, such as (ab){50,100}, i.e., matching linear in the length of the text and independent of the repetition bounds, has been an open problem for at least two decades.…

Formal Languages and Automata Theory · Computer Science 2023-01-31 Lukáš Holík , Juraj Síč , Lenka Turoňová , Tomáš Vojnar

We investigate the magic number problem, that is, the question whether there exists a minimal n-state nondeterministic finite automaton (NFA) whose equivalent minimal deterministic finite automaton (DFA) has alpha states, for all n and…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Markus Holzer , Sebastian Jakobi , Martin Kutrib

This work is about the synchronization of nonlinear coupled dynamical systems driven by $\alpha$-stable noise. Firstly, we provide a novel technique to construct the relationship between synchronized system and slow-fast system. Secondly,…

Probability · Mathematics 2019-10-28 Yanjie Zhang , Li Lin , Jinqiao Duan , Hongbo Fu

The concept of Deterministic Finite Cover Automata (DFCA) was introduced at WIA '98, as a more compact representation than Deterministic Finite Automata (DFA) for finite languages. In some cases representing a finite language,…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Cezar Câmpeanu

In this paper, the fixed-time cluster synchronization problem for complex networks via pinning control is discussed. Fixed-time synchronization has been a hot topic in recent years, which means that the network can achieve synchronization…

Systems and Control · Computer Science 2015-09-14 Xiwei Liu , Tianping Chen

Matching statistics were introduced to solve the approximate string matching problem, which is a recurrent subroutine in bioinformatics applications. In 2010, Ohlebusch et al. [SPIRE 2010] proposed a time and space efficient algorithm for…

Data Structures and Algorithms · Computer Science 2023-01-16 Alessio Conte , Nicola Cotumaccio , Travis Gagie , Giovanni Manzini , Nicola Prezza , Marinella Sciortino

The difference-of-convex algorithm (DCA) is a well-established nonlinear programming technique that solves successive convex optimization problems. These sub-problems are obtained from the difference-of-convex~(DC) decompositions of the…

Optimization and Control · Mathematics 2026-02-20 Hadi Abbaszadehpeivasti , Etienne de Klerk , Adrien Taylor

Foundation models (FMs) have shown prominent success in a wide range of tasks. Their applicability to specific domain-task pairings relies on the availability of, both, high-quality data and significant computational resources. These…

Machine Learning · Computer Science 2023-11-10 Lekang Jiang , Filip Svoboda , Nicholas D. Lane

Consider an input text string T[1,N] drawn from an unbounded alphabet. We study partial computation in suffix-based problems for Data Compression and Text Indexing such as (I) retrieve any segment of K<=N consecutive symbols from the…

Data Structures and Algorithms · Computer Science 2011-10-18 Gianni Franceschini , Roberto Grossi , S. Muthukrishnan

We develop two new algorithms, called, FedDR and asyncFedDR, for solving a fundamental nonconvex composite optimization problem in federated learning. Our algorithms rely on a novel combination between a nonconvex Douglas-Rachford splitting…

Machine Learning · Statistics 2021-10-29 Quoc Tran-Dinh , Nhan H. Pham , Dzung T. Phan , Lam M. Nguyen

Detection transformers have recently shown promising object detection results and attracted increasing attention. However, how to develop effective domain adaptation techniques to improve its cross-domain performance remains unexplored and…

Computer Vision and Pattern Recognition · Computer Science 2022-07-18 Wen Wang , Yang Cao , Jing Zhang , Fengxiang He , Zheng-Jun Zha , Yonggang Wen , Dacheng Tao
‹ Prev 1 8 9 10 Next ›