中文
相关论文

相关论文: Towards an AAK Theory Approach to Approximate Mini…

200 篇论文

In this paper, we study the approximate minimization problem of weighted finite automata (WFAs): to compute the best possible approximation of a WFA given a bound on the number of states. By reformulating the problem in terms of Hankel…

形式语言与自动机理论 · 计算机科学 2025-02-12 Clara Lacroce , Borja Balle , Prakash Panangaden , Guillaume Rabusseau

We address the approximate minimization problem for weighted finite automata (WFAs) with weights in $\mathbb{R}$, over a one-letter alphabet: to compute the best possible approximation of a WFA given a bound on the number of states. This…

形式语言与自动机理论 · 计算机科学 2021-05-18 Borja Balle , Clara Lacroce , Prakash Panangaden , Doina Precup , Guillaume Rabusseau

In this paper we study the approximate minimization problem for language modelling. We assume we are given some language model as a black box. The objective is to obtain a weighted finite automaton (WFA) that fits within a given size…

机器学习 · 计算机科学 2021-07-26 Clara Lacroce , Prakash Panangaden , Guillaume Rabusseau

We study the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be…

形式语言与自动机理论 · 计算机科学 2015-04-27 Borja Balle , Prakash Panangaden , Doina Precup

Weighted finite automata (WFA) are often used to represent probabilistic models, such as $n$-gram language models, since they are efficient for recognition tasks in time and space. The probabilistic source to be represented as a WFA,…

计算与语言 · 计算机科学 2021-02-01 Ananda Theertha Suresh , Brian Roark , Michael Riley , Vlad Schogol

The present paper uses spectral theory of linear operators to construct approximately minimal realizations of weighted languages. Our new contributions are: (i) a new algorithm for the SVD decomposition of infinite Hankel matrices based on…

形式语言与自动机理论 · 计算机科学 2019-11-13 Borja Balle , Prakash Panangaden , Doina Precup

We describe a technique to minimize weighted tree automata (WTA), a powerful formalisms that subsumes probabilistic context-free grammars (PCFGs) and latent-variable PCFGs. Our method relies on a singular value decomposition of the…

机器学习 · 计算机科学 2015-12-25 Guillaume Rabusseau , Borja Balle , Shay B. Cohen

The classical low rank approximation problem is to find a rank $k$ matrix $UV$ (where $U$ has $k$ columns and $V$ has $k$ rows) that minimizes the Frobenius norm of $A - UV$. Although this problem can be solved efficiently, we study an…

数据结构与算法 · 计算机科学 2019-11-20 Frank Ban , David Woodruff , Qiuyi Zhang

The weight maximization problem (WMP) is the problem of finding the word of highest weight on a weighted finite state automaton (WFA). It is an essential question that emerges in many optimization problems in automata theory. Unfortunately,…

神经与进化计算 · 计算机科学 2020-04-15 Elena Gutiérrez , Takamasa Okudono , Masaki Waga , Ichiro Hasuo

Matrix rank minimization problems are gaining a plenty of recent attention in both mathematical and engineering fields. This class of problems, arising in various and across-discipline applications, is known to be NP-hard in general. In…

最优化与控制 · 数学 2010-10-06 Yun-Bin Zhao

In this paper we are dealing with the issue of finding possibly short synchronizing words in automata with weight assigned to each letter in the alphabet $\Sigma$. First we discuss some complexity problems, and then we present new…

形式语言与自动机理论 · 计算机科学 2021-03-31 Jakub Ruszil

We consider the problem of approximating an affinely structured matrix, for example a Hankel matrix, by a low-rank matrix with the same structure. This problem occurs in system identification, signal processing and computer algebra, among…

数值分析 · 数学 2014-06-25 Mariya Ishteva , Konstantin Usevich , Ivan Markovsky

The weighted low-rank approximation problem is a fundamental numerical linear algebra problem and has many applications in machine learning. Given a $n \times n$ weight matrix $W$ and a $n \times n$ matrix $A$, the goal is to find two…

计算复杂性 · 计算机科学 2025-02-25 Chenyang Li , Yingyu Liang , Zhenmei Shi , Zhao Song

The adaptive Antoulas-Anderson (AAA) algorithm for rational approximation is a widely used method for the efficient construction of highly accurate rational approximations to given data. While AAA can often produce rational approximations…

Compact representations of automata are important for efficiency. In this paper, we study methods to compute reduced automata, in which no two states accept the same language. We do this for finitary automata (FA), an abstract definition…

形式语言与自动机理论 · 计算机科学 2023-04-14 Keri D'Angelo , Alexandra Silva , Gerco van Heerdt , Leon Witzman

The low-rank matrix optimization with affine set (rank-MOA) is to minimize a continuously differentiable function over a low-rank set intersecting with an affine set. Under some suitable assumptions, the intersection rule of the Fr\'{e}chet…

谱理论 · 数学 2019-12-09 Xinrong Li , Naihua Xiu , Ziyan Luo

We examine the NFA minimization problem in terms of atomic NFA's, that is, NFA's in which the right language of every state is a union of atoms, where the atoms of a regular language are non-empty intersections of complemented and…

形式语言与自动机理论 · 计算机科学 2013-01-24 Janusz Brzozowski , Hellis Tamm

We address the inverse problem that arises in compressed sensing of a low-rank matrix. Our approach is to pose the inverse problem as an approximation problem with a specified target rank of the solution. A simple search over the target…

数值分析 · 数学 2009-06-15 Kiryung Lee , Yoram Bresler

The problem of k-minimisation for a DFA M is the computation of a smallest DFA N (where the size |M| of a DFA M is the size of the domain of the transition function) such that their recognized languages differ only on words of length less…

形式语言与自动机理论 · 计算机科学 2011-03-01 Paweł Gawrychowski , Artur Jeż , Andreas Maletti

Low-rank matrix approximation is one of the central concepts in machine learning, with applications in dimension reduction, de-noising, multivariate statistical methodology, and many more. A recent extension to LRMA is called low-rank…

机器学习 · 统计学 2021-09-24 Elena Tuzhilina , Trevor Hastie
‹ 上一页 1 2 3 10 下一页 ›