English
Related papers

Related papers: Using Finite-State Machines to Automatically Scan …

200 papers

We present a general framework based on weighted finite automata and weighted finite-state transducers for describing and implementing speech recognizers. The framework allows us to represent uniformly the information sources and data…

cmp-lg · Computer Science 2008-02-03 Fernando C. N. Pereira , Michael D. Riley

Recently, end-to-end automatic speech recognition has become the mainstream approach in both industry and academia. To optimize system performance in specific scenarios, the Weighted Finite-State Transducer (WFST) is extensively used to…

Audio and Speech Processing · Electrical Eng. & Systems 2025-01-08 Wei Zhang , Tian-Hao Zhang , Chao Luo , Hui Zhou , Chao Yang , Xinyuan Qian , Xu-Cheng Yin

A deterministic finite-state automaton (FSA) is an abstract sequential machine that reads the symbols comprising an input word one at a time. An FSA is symmetric if its output is independent of the order in which the input symbols are read,…

Formal Languages and Automata Theory · Computer Science 2010-08-06 David Pritchard

Scientific literature in astronomy is rapidly expanding, making it increasingly important to automate the extraction of key entities and contextual information from research papers. In this paper, we present an encoder-based system for…

Computation and Language · Computer Science 2025-11-12 Shivam Rawat , Lucie Flek , Akbar Karimi

We propose a novel algorithm for solving non-convex, nonlinear equality-constrained finite-sum optimization problems. The proposed algorithm incorporates an additional sampling strategy for sample size update into the well-known framework…

Optimization and Control · Mathematics 2025-08-05 Nataša Krejić , Nataša Krklec Jerinkić , Tijana Ostojić , Nemanja Vučićević

We propose a new method, that we coined the ``morphism-trick'', to integrate custom implementations of vector-Jacobian products in automatic differentiation softwares, applicable to a wide range of semiring-based computations. Our approach…

Formal Languages and Automata Theory · Computer Science 2026-02-16 Lucas Ondel Yang , Tina Raissi , Martin Kocour , Pablo Riera , Caio Corro

Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…

Logic in Computer Science · Computer Science 2015-07-01 Klaus Aehlig

We study finite-state transducers and their power for transforming infinite words. Infinite sequences of symbols are of paramount importance in a wide range of fields, from formal languages to pure mathematics and physics. While finite…

Formal Languages and Automata Theory · Computer Science 2018-03-09 Jörg Endrullis , Juhani Karhumäki Jan Willem Klop , Aleksi Saarela

Stochastic finite automata arise naturally in many language and speech processing tasks. They include stochastic acceptors, which represent certain probability distributions over random strings. We consider the problem of efficient…

Computation and Language · Computer Science 2019-09-24 Martin Jansche , Alexander Gutkin

We investigate quantum inspired algorithms to compute physical observables of quantum many-body systems at finite energies. They are based on the quantum algorithms proposed in [Lu et al. PRX Quantum 2, 020321 (2021)], which use the quantum…

Quantum Physics · Physics 2022-11-28 Yilun Yang , J. Ignacio Cirac , Mari Carmen Bañuls

Text summarization (TS) is a natural language processing (NLP) subtask pertaining to the automatic formulation of a concise and coherent summary that covers the major concepts and topics from one or multiple documents. Recent advancements…

Computation and Language · Computer Science 2023-11-15 Nikolaos Giarelis , Charalampos Mastrokostas , Nikos Karacapilidis

Keeping in mind the necessity of intelligent system in educational sector, this paper proposes a text analysis based automated approach for automatic evaluation of the descriptive answers in an examination. In particular, the research…

Machine Learning · Computer Science 2021-05-10 Vedant Bahel , Achamma Thomas

This paper presents a framework for semi-automatic transcription of large-scale historical handwritten documents and proposes a simple user-friendly text extractor tool, TexT for transcription. The proposed approach provides a quick and…

Digital Libraries · Computer Science 2018-02-22 Anders Hast , Per Cullhed , Ekta Vats

Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid…

Optimization and Control · Mathematics 2011-11-03 Gunther Reißig

We describe an automatic procedure for determining abundances from high resolution spectra. Such procedures are becoming increasingly important as large amounts of data are delivered from 8m telescopes and their high-multiplexing fiber…

Astrophysics · Physics 2009-11-07 Piercarlo Bonifacio , Elisabetta Caffau

Stance detection is an active task in natural language processing (NLP) that aims to identify the author's stance towards a particular target within a text. Given the remarkable language understanding capabilities and encyclopedic prior…

Computation and Language · Computer Science 2024-08-12 Junxia Ma , Changjiang Wang , Hanwen Xing , Dongming Zhao , Yazhou Zhang

This work considers resilient, cooperative state estimation in unreliable multi-agent networks. A network of agents aims to collaboratively estimate the value of an unknown vector parameter, while an {\em unknown} subset of agents suffer…

Systems and Control · Computer Science 2018-10-25 Lili Su , Shahin Shahrampour

The state transition algorithm (STA), as an intelligent optimization method grounded in constructivist learning, has been demonstrated to be highly effective in solving complex optimization problems. However, the standard STA suffers from…

Optimization and Control · Mathematics 2026-04-30 Xiaojun Zhou , Chunhua Yang , Weihua Gui , Tingwen Huang

We explore the idea of automatically crafting a tuning dataset for Statistical Machine Translation (SMT) that makes the hyper-parameters of the SMT system more robust with respect to some specific deficiencies of the parameter tuning…

Computation and Language · Computer Science 2017-10-03 Preslav Nakov , Stephan Vogel

This paper introduces a new way for text-line extraction by integrating deep-learning based pre-classification and state-of-the-art segmentation methods. Text-line extraction in complex handwritten documents poses a significant challenge,…

Computer Vision and Pattern Recognition · Computer Science 2019-07-02 Michele Alberti , Lars Vögtlin , Vinaychandran Pondenkandath , Mathias Seuret , Rolf Ingold , Marcus Liwicki
‹ Prev 1 4 5 6 7 8 10 Next ›