English
Related papers

Related papers: Weighing Obese Timed Languages

200 papers

We investigate the number of sets of words that can be formed from a finite alphabet, counted by the total length of the words in the set. An explicit expression for the counting sequence is derived from the generating function, and…

Combinatorics · Mathematics 2010-01-26 Stefan Gerhold

We consider a "length-biased" shift-dependent information measure, related to the differential entropy in which higher weight is assigned to large values of observed random variables. This allows us to introduce the notions of "weighted…

Statistics Theory · Mathematics 2011-06-27 Antonio Di Crescenzo , Maria Longobardi

Let G=(V,E) be a graph with f:V\to Z_+ a function assigning degree bounds to vertices. We present the first efficient algebraic algorithm to find an f-factor. The time is \tilde{O}(f(V)^{\omega}). More generally for graphs with integral…

Data Structures and Algorithms · Computer Science 2013-04-26 Harold N. Gabow , Piotr Sankowski

Quantum finite automata derive their strength by exploiting interference in complex valued probability amplitudes. Of particular interest is the 2-way model of Ambainis and Watrous that has both quantum and classical states (2QCFA) [A.…

Quantum Physics · Physics 2007-05-23 M. V. Panduranga Rao , V. Vinay

The information ratio offers an approach to assessing the efficacy with which an agent balances between exploration and exploitation. Originally, this was defined to be the ratio between squared expected regret and the mutual information…

Machine Learning · Computer Science 2021-02-19 Adithya M. Devraj , Benjamin Van Roy , Kuang Xu

The problem of inclusion of the language accepted by timed automaton $A$ (e.g., the implementation) in the language accepted by $B$ (e.g., the specification) is, in general, undecidable in the class of non-deterministic timed automata. In…

Formal Languages and Automata Theory · Computer Science 2019-09-24 Amnon Rosenmann

Let G be an edge-weighted hypergraph on n vertices, m edges of size \le s, where the edges have real weights in an interval [1,W]. We show that if we can approximate a maximum weight matching in G within factor alpha in time T(n,m,W) then…

Data Structures and Algorithms · Computer Science 2011-01-12 Andrzej Lingas , Cui Di

This paper presents a statistical parser for natural language that obtains a parsing accuracy---roughly 87% precision and 86% recall---which surpasses the best previously published results on the Wall St. Journal domain. The parser itself…

cmp-lg · Computer Science 2016-08-31 Adwait Ratnaparkhi

We obtain an index of the complexity of a random sequence by allowing the role of the measure in classical probability theory to be played by a function we call the generating mechanism. Typically, this generating mechanism will be a finite…

Machine Learning · Statistics 2008-12-11 Finn Macleod , James Gleeson

Weighted average sampling is more practical and numerically more stable than sampling at single points as in the classical Shannon sampling framework. Using the frame theory, one can completely reconstruct a bandlimited function from its…

Information Theory · Computer Science 2014-07-04 Haizhang Zhang

This is a book on weighted tree automata. We present the basic definitions and some of the important results in a coherent form with full proofs. The concept of weighted tree automata is part of Automata Theory and it touches the area of…

Formal Languages and Automata Theory · Computer Science 2026-01-28 Zoltán Fülöp , Heiko Vogler

Here we present a novel approach to statistical analysis of financial time series. The approach is based on $n$-grams frequency dictionaries derived from the quantized market data. Such dictionaries are studied by evaluating their…

Statistical Finance · Quantitative Finance 2013-08-14 Igor Borovikov , Michael Sadovsky

In this study, we analyzed the problem of accelerating the linear average consensus algorithm for complex networks. We propose a data-driven approach to tuning the weights of temporal (i.e., time-varying) networks using deep learning…

Optimization and Control · Mathematics 2023-08-29 Masako Kishida , Masaki Ogura , Yuichi Yoshida , Tadashi Wadayama

We consider a natural generalization of classical scheduling problems in which using a time unit for processing a job causes some time-dependent cost which must be paid in addition to the standard scheduling cost. We study the scheduling…

Data Structures and Algorithms · Computer Science 2018-12-03 Lin Chen , Nicole Megow , Roman Rischke , Leen Stougie , José Verschae

We give a memoryless scale-invariant randomized algorithm for the Buffer Management with Bounded Delay problem that is e/(e-1)-competitive against an adaptive adversary, together with better performance guarantees for many restricted…

Data Structures and Algorithms · Computer Science 2011-02-08 Łukasz Jeż

The time evolution of a closed quantum system is connected to its Hamiltonian through Schroedinger's equation. The ability to estimate the Hamiltonian is critical to our understanding of quantum systems, and allows optimization of control.…

We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are defined as limit frequencies of…

Systems and Control · Computer Science 2015-03-17 Tomáš Brázdil , Jan Krčál , Jan Křetínský , Antonín Kučera , Vojtěch Řehák

This paper presents a class of Dynamic Multi-Armed Bandit problems where the reward can be modeled as the noisy output of a time varying linear stochastic dynamic system that satisfies some boundedness constraints. The class allows many…

Machine Learning · Computer Science 2017-10-10 T. W. U. Madhushani , D. H. S. Maithripala , N. E. Leonard

A key barrier to making phonetic studies scalable and replicable is the need to rely on subjective, manual annotation. To help meet this challenge, a machine learning algorithm was developed for automatic measurement of a widely used…

Machine Learning · Statistics 2017-03-08 Yossi Adi , Joseph Keshet , Emily Cibelli , Erin Gustafson , Cynthia Clopper , Matthew Goldrick

In this paper the problem of assessing bounds on the accuracy of pilot-based estimation of a bandlimited frequency selective communication channel is tackled. Mean square error is taken as a figure of merit in channel estimation and a…

Information Theory · Computer Science 2012-03-14 Francesco Montorsi , Giorgio M. Vitetta