Sciweavers

18

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 1 months ago

Linear-Time Model Checking: Automata Theory in Practice

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

16

WIA
2007
Springer

70views Artificial Intelligence» more WIA 2007»

Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms

14 years 1 months ago

Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms

Download grammars.grlmc.com

Magnus Steinby, Catalin Ionut Tîrnauca

claim paper

Read More »

15

WIA
2007
Springer

86views Artificial Intelligence» more WIA 2007»

Deterministic Caterpillar Expressions

14 years 1 months ago

Deterministic Caterpillar Expressions

Download www.stringology.org

Kai Salomaa, Sheng Yu, Jinfeng Zan

claim paper

Read More »

19

WIA
2007
Springer

91views Artificial Intelligence» more WIA 2007»

On String Matching in Chunked Texts

14 years 1 months ago

On String Matching in Chunked Texts

Download www.stringology.org

Hannu Peltola, Jorma Tarhio

claim paper

Read More »

18

WIA
2007
Springer

87views Artificial Intelligence» more WIA 2007»

Spiking Neural P Systems Used as Acceptors and Transducers

14 years 1 months ago

Spiking Neural P Systems Used as Acceptors and Transducers

Download www.stringology.org

Gheorghe Paun

claim paper

Read More »

18

WIA
2007
Springer

111views Artificial Intelligence» more WIA 2007»

A Measure for the Degree of Nondeterminism of Context-Free Languages

14 years 1 months ago

A Measure for the Degree of Nondeterminism of Context-Free Languages

Download www.stringology.org

Frantisek Mráz, Martin Plátek, Fried...

claim paper

Read More »

13

WIA
2007
Springer

80views Artificial Intelligence» more WIA 2007»

Factor Automata of Automata and Applications

14 years 1 months ago

Factor Automata of Automata and Applications

Download www.cs.nyu.edu

Mehryar Mohri, Pedro Moreno, Eugene Weinstein

claim paper

Read More »

19

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

14 years 1 months ago

Regulated Nondeterminism in Pushdown Automata

Download www.stringology.org

Martin Kutrib, Andreas Malcher, Larissa Werlein

claim paper

Read More »

20

WIA
2007
Springer

72views Artificial Intelligence» more WIA 2007»

Subset Seed Automaton

14 years 1 months ago

Subset Seed Automaton

Download hal.archives-ouvertes.fr

We study the pattern matching automaton introduced in [1] for the purpose of seed-based similarity search. We show that our deﬁnition provides a compact automaton, much smaller t...

Gregory Kucherov, Laurent Noé, Mikhail A. R...

claim paper

Read More »

30

WIA
2007
Springer

138views Artificial Intelligence» more WIA 2007»

Accelerating Boyer Moore Searches on Binary Texts

14 years 1 months ago

Accelerating Boyer Moore Searches on Binary Texts

Download u.cs.biu.ac.il

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

claim paper

Read More »