English
Related papers

Related papers: The weighted words collector

200 papers

We present the first study of non-deterministic weighted automata under probabilistic semantics. In this semantics words are random events, generated by a Markov chain, and functions computed by weighted automata are random variables. We…

Formal Languages and Automata Theory · Computer Science 2019-11-01 Jakub Michaliszyn , Jan Otop

We introduce Topic Grouper as a complementary approach in the field of probabilistic topic modeling. Topic Grouper creates a disjunctive partitioning of the training vocabulary in a stepwise manner such that resulting partitions represent…

Information Retrieval · Computer Science 2019-04-16 Daniel Pfeifer , Jochen L. Leidner

We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of a rejection-based approach, whose time complexity is shown…

Data Structures and Algorithms · Computer Science 2010-12-22 Yann Ponty

Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Krishnendu Chatterjee , Thomas A. Henzinger , Jan Otop

The problem of joint detection and lossless source coding is considered. We derive asymptotically optimal decision rules for deciding whether or not a sequence of observations has emerged from a desired information source, and to compress…

Information Theory · Computer Science 2016-11-17 Neri Merhav

In this paper we consider a transformer with an $n$-gram structure, such as the one underlying ChatGPT. The transformer provides next word probabilities, which can be used to generate word sequences. We consider methods for computing word…

Machine Learning · Computer Science 2024-03-26 Yuchao Li , Dimitri Bertsekas

We present an impossibility result, called a theorem about facts and words, which pertains to a general communication system. The theorem states that the number of distinct words used in a finite text is roughly greater than the number of…

Information Theory · Computer Science 2022-11-03 Łukasz Dębowski

We study the problem of estimating the sum of $n$ elements, each with weight $w(i)$, in a structured universe. Our goal is to estimate $W = \sum_{i=1}^n w(i)$ within a $(1 \pm \epsilon)$ factor using a sublinear number of samples, assuming…

Data Structures and Algorithms · Computer Science 2025-04-22 Pinki Pradhan , Sampriti Roy

In this paper the asymptotic distribution of the stopping time in Page's sequential cumulative sum (CUSUM) procedure is presented. Page as well as ordinary cumulative sums are considered as detectors for changes in the mean of observations…

Methodology · Statistics 2013-08-07 Stefan Fremdt

As suggested by Currie, we apply the probabilistic method to problems regarding pattern avoidance. Using techniques from analytic combinatorics, we calculate asymptotic pattern occurrence statistics and use them in conjunction with the…

Combinatorics · Mathematics 2014-06-03 Jim Tao

Given a discrete distribution, an interesting problem is to determine the minimum size of a random sample drawn from this distribution, in order to observe a given number of different records. This problem is related with many applied…

Probability · Mathematics 2012-09-21 Marco Ferrante , Nadia Frigo

The entropy accumulation theorem states that the smooth min-entropy of an $n$-partite system $A = (A_1, \ldots, A_n)$ is lower-bounded by the sum of the von Neumann entropies of suitably chosen conditional states up to corrections that are…

Quantum Physics · Physics 2019-07-23 Frédéric Dupuis , Omar Fawzi

A sequence of geometric random variables of length $n$ is a sequence of $n$ independent and identically distributed geometric random variables ($\Gamma_1, \Gamma_2, \dots, \Gamma_n$) where $\mathbb{P}(\Gamma_j=i)=pq^{i-1}$ for…

We revisit a version of the classic occupancy scheme, where balls are thrown until almost all boxes receive a given number of balls. Special cases are widely known as coupon-collectors and dixie cup problems. We show that as the number of…

Probability · Mathematics 2025-06-26 Alexander Gnedin , Svante Janson , Yaakov Malinovsky

Various members of the class of weighted insurance premiums and risk capital allocation rules have been researched from a number of perspectives. Corresponding formulas in the case of parametric families of distributions have been derived,…

Statistics Theory · Mathematics 2017-10-11 Nadezhda Gribkova , Ričardas Zitikis

We study parameterized Constraint Satisfaction Problem for infinite constraint languages. The parameters that we study are weight of the satisfying assignment, number of constraints, maximum number of occurrences of a variable in the…

Computational Complexity · Computer Science 2017-08-10 Ruhollah Majdoddin

In this work we extend previous analyses of linguistic networks by adopting a multi-layer network framework for modelling the human mental lexicon, i.e. an abstract mental repository where words and concepts are stored together with their…

Physics and Society · Physics 2016-04-06 Massimo Stella , Markus Brede

We describe an alternative method (to compression) that combines several theoretical and experimental results to numerically approximate the algorithmic (Kolmogorov-Chaitin) complexity of all $\sum_{n=1}^82^n$ bit strings up to 8 bits long,…

Information Theory · Computer Science 2015-03-18 Jean-Paul Delahaye , Hector Zenil

A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$. The set of all…

Formal Languages and Automata Theory · Computer Science 2020-03-11 Laura Barker , Pamela Fleischmann , Katharina Harwardt , Florin Manea , Dirk Nowotka

We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of David et al. and Bendkowski et al. to all Turing-complete…

Logic in Computer Science · Computer Science 2016-07-19 Maciej Bendkowski , Katarzyna Grygiel , Marek Zaionc