English
Related papers

Related papers: On Streaming String Transducers and HDT0L Systems

200 papers

Transducers extend finite state automata with outputs, and describe transformations from strings to strings. Sequential transducers, which have a deterministic behaviour regarding their input, are of particular interest. However, unlike…

Logic in Computer Science · Computer Science 2019-03-01 Pierre-Alain Reynier , Didier Villevalois

In streaming automatic speech recognition (ASR), it is desirable to reduce latency as much as possible while having minimum impact on recognition accuracy. Although a few existing methods are able to achieve this goal, they are difficult to…

Audio and Speech Processing · Electrical Eng. & Systems 2022-11-02 Wei Kang , Zengwei Yao , Fangjun Kuang , Liyong Guo , Xiaoyu Yang , Long lin , Piotr Żelasko , Daniel Povey

Streaming TTS that receives streaming text is essential for interactive systems, yet this scheme faces two major challenges: unnatural prosody due to missing lookahead and long-form collapse due to unbounded context. We propose a…

Sound · Computer Science 2026-03-09 Changsong Liu , Tianrui Wang , Ye Ni , Yizhou Peng , Eng Siong Chng

Simultaneous machine translation has recently gained traction thanks to significant quality improvements and the advent of streaming applications. Simultaneous translation systems need to find a trade-off between translation quality and…

Computation and Language · Computer Science 2021-09-09 Javier Iranzo-Sánchez , Jorge Civera , Alfons Juan

An important yet rarely tackled problem in dialogue state tracking (DST) is scalability for dynamic ontology (e.g., movie, restaurant) and unseen slot values. We focus on a specific condition, where the ontology is unknown to the state…

Computation and Language · Computer Science 2019-07-09 Guan-Lin Chao , Ian Lane

Modeling spatiotemporal dynamical systems is a fundamental challenge in machine learning. Transformer models have been very successful in NLP and computer vision where they provide interpretable representations of data. However, a…

Machine Learning · Computer Science 2023-08-01 Antonio H. de O. Fonseca , Emanuele Zappala , Josue Ortega Caro , David van Dijk

We introduce Delayed Streams Modeling (DSM), a flexible formulation for streaming, multimodal sequence-to-sequence learning. Sequence-to-sequence generation is often cast in an offline manner, where the model consumes the complete input…

The training of automatic speech recognition (ASR) with little to no supervised data remains an open question. In this work, we demonstrate that streaming Transformer-Transducer (TT) models can be trained from scratch in consumer and…

In recent years, arbitrary image style transfer has attracted more and more attention. Given a pair of content and style images, a stylized one is hoped that retains the content from the former while catching style patterns from the latter.…

Computer Vision and Pattern Recognition · Computer Science 2023-01-03 Chiyu Zhang , Jun Yang , Zaiyan Dai , Peng Cao

A pseudo-deterministic algorithm is a (randomized) algorithm which, when run multiple times on the same input, with high probability outputs the same result on all executions. Classic streaming algorithms, such as those for finding heavy…

Computational Complexity · Computer Science 2019-11-27 Shafi Goldwasser , Ofer Grossman , Sidhanth Mohanty , David P. Woodruff

We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) sequences of data values, tagged with symbols from a finite set,…

Programming Languages · Computer Science 2011-02-15 Rajeev Alur , Pavol Cerny

Speech Translation (ST) is the task of translating speech in one language into text in another language. Traditional cascaded approaches for ST, using Automatic Speech Recognition (ASR) and Machine Translation (MT) systems, are prone to…

Computation and Language · Computer Science 2021-07-14 Tu Anh Dinh

Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific languages (DSL) that are engineered to help the synthesizer,…

Formal Languages and Automata Theory · Computer Science 2022-08-30 Anvay Grover , Ruediger Ehlers , Loris D'Antoni

Extensions to finite-state automata on strings, such as multi-head automata or multi-counter automata, have been successfully used to encode many infinite-state non-regular verification problems. In this paper, we consider a generalization…

Formal Languages and Automata Theory · Computer Science 2015-09-25 Rayna Dimitrova , Rupak Majumdar

Simultaneous machine translation (SiMT) models are trained to strike a balance between latency and translation quality. However, training these models to achieve high quality while maintaining low latency often leads to a tendency for…

Computation and Language · Computer Science 2023-10-24 Zhengrui Ma , Shaolei Zhang , Shoutao Guo , Chenze Shao , Min Zhang , Yang Feng

Simultaneous speech translation (SST) takes streaming speech input and generates text translation on the fly. Existing methods either have high latency due to recomputation of input representations, or fall behind of offline ST in…

Computation and Language · Computer Science 2024-08-20 Siqi Ouyang , Xi Xu , Chinmay Dandekar , Lei Li

Disentangling the content and style in the latent space is prevalent in unpaired text style transfer. However, two major issues exist in most of the current neural models. 1) It is difficult to completely strip the style information from…

Computation and Language · Computer Science 2019-08-21 Ning Dai , Jianze Liang , Xipeng Qiu , Xuanjing Huang

Hand gesture-based Sign Language Recognition (SLR) serves as a crucial communication bridge between deaf and non-deaf individuals. While Graph Convolutional Networks (GCNs) are common, they are limited by their reliance on fixed skeletal…

Computer Vision and Pattern Recognition · Computer Science 2025-11-11 Koki Hirooka , Abu Saleh Musa Miah , Tatsuya Murakami , Md. Al Mehedi Hasan , Yong Seok Hwang , Jungpil Shin

Transductions are binary relations of finite words. For rational transductions, i.e., transductions defined by finite transducers, the inclusion, equivalence and sequential uniformisation problems are known to be undecidable. In this paper,…

Formal Languages and Automata Theory · Computer Science 2016-03-01 Emmanuel Filiot , Ismaël Jecker , Christof Löding , Sarah Winter

Streaming generation models are utilized across fields, with the Transducer architecture being popular in industrial applications. However, its input-synchronous decoding mechanism presents challenges in tasks requiring non-monotonic…

Computation and Language · Computer Science 2025-05-29 Zhengrui Ma , Yang Feng , Min Zhang