Sciweavers

WIA
2007
Springer
14 years 6 months ago
Subset Seed Automaton
We study the pattern matching automaton introduced in [1] for the purpose of seed-based similarity search. We show that our definition provides a compact automaton, much smaller t...
Gregory Kucherov, Laurent Noé, Mikhail A. R...
WIA
2007
Springer
14 years 6 months ago
Accelerating Boyer Moore Searches on Binary Texts
The Boyer and Moore (BM) pattern matching algorithm is considered as one of the best, but its performance is reduced on binary data. Yet, searching in binary texts has important a...
Shmuel Tomi Klein, Miri Ben-Nissan
WIA
2007
Springer
14 years 6 months ago
Backward and Forward Bisimulation Minimisation of Tree Automata
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
Johanna Högberg, Andreas Maletti, Jonathan Ma...
WIA
2007
Springer
14 years 6 months ago
Average Value and Variance of Pattern Statistics in Rational Models
We study the pattern statistics representing the number of occurrences of a given string in a word of length n generated at random by rational stochastic models, defined by means ...
Massimiliano Goldwurm, Roberto Radicioni
WIA
2007
Springer
14 years 6 months ago
Weighted Automata and Weighted Logics with Discounting
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
Manfred Droste, George Rahonis
WIA
2007
Springer
14 years 6 months ago
Reducing Acyclic Cover Transducers
Jean-Marc Champarnaud, Franck Guingne, Jacques Far...
WIA
2007
Springer
14 years 6 months ago
Efficient Computation of Throughput Values of Context-Free Languages
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, ...
WIA
2007
Springer
14 years 6 months ago
An Implementation of Deterministic Tree Automata Minimization
Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada