Sciweavers

274 search results - page 7 / 55
» Weighted Automata and Weighted Logics
Sort
View
TALG
2010
101views more  TALG 2010»
13 years 5 months ago
Reasoning about online algorithms with weighted automata
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
Benjamin Aminof, Orna Kupferman, Robby Lampert
DLT
2009
13 years 5 months ago
Weighted Timed MSO Logics
We aim to generalize B
Karin Quaas
CORR
2010
Springer
91views Education» more  CORR 2010»
13 years 7 months ago
Simulations of Weighted Tree Automata
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f...
Zoltán Ésik, Andreas Maletti
IJFCS
2007
63views more  IJFCS 2007»
13 years 7 months ago
Path-Equivalent Developments in Acyclic Weighted Automata
Weighted finite automata (WFA) are used with FPGA accelerating hardware to scan large genomic banks. Hardwiring such automata raises surface area and clock frequency constraints,...
Mathieu Giraud, Philippe Veber, Dominique Lavenier
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 7 months ago
Minimal weight expansions in Pisot bases
For applications to cryptography, it is important to represent numbers with a small number of non-zero digits (Hamming weight) or with small absolute sum of digits. The problem of ...
Christiane Frougny, Wolfgang Steiner