Sciweavers

    WIA
    2007
    Springer
    124views Artificial Intelligence» more  WIA 2007»
    Linear-Time Model Checking: Automata Theory in Practice
    16 years 1 months ago
    Linear-Time Model Checking: Automata Theory in Practice
    Download  www.stringology.org
    Moshe Y. Vardi
    claim paper
    Read More »
    144
    Voted
    WIA
    2007
    Springer
    70views Artificial Intelligence» more  WIA 2007»
    Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms
    16 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 »
    126
    Voted
    WIA
    2007
    Springer
    86views Artificial Intelligence» more  WIA 2007»
    Deterministic Caterpillar Expressions
    16 years 1 months ago
    Deterministic Caterpillar Expressions
    Download  www.stringology.org
    Kai Salomaa, Sheng Yu, Jinfeng Zan
    claim paper
    Read More »
    159
    Voted
    WIA
    2007
    Springer
    91views Artificial Intelligence» more  WIA 2007»
    On String Matching in Chunked Texts
    16 years 1 months ago
    On String Matching in Chunked Texts
    Download  www.stringology.org
    Hannu Peltola, Jorma Tarhio
    claim paper
    Read More »
    138
    Voted
    WIA
    2007
    Springer
    87views Artificial Intelligence» more  WIA 2007»
    Spiking Neural P Systems Used as Acceptors and Transducers
    16 years 1 months ago
    Spiking Neural P Systems Used as Acceptors and Transducers
    Download  www.stringology.org
    Gheorghe Paun
    claim paper
    Read More »
    145
    Voted
    WIA
    2007
    Springer
    111views Artificial Intelligence» more  WIA 2007»
    A Measure for the Degree of Nondeterminism of Context-Free Languages
    16 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 »
    126
    Voted
    WIA
    2007
    Springer
    80views Artificial Intelligence» more  WIA 2007»
    Factor Automata of Automata and Applications
    16 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 »
    141
    Voted
    WIA
    2007
    Springer
    134views Artificial Intelligence» more  WIA 2007»
    Regulated Nondeterminism in Pushdown Automata
    16 years 1 months ago
    Regulated Nondeterminism in Pushdown Automata
    Download  www.stringology.org
    Martin Kutrib, Andreas Malcher, Larissa Werlein
    claim paper
    Read More »
    164
    Voted
    WIA
    2007
    Springer
    72views Artificial Intelligence» more  WIA 2007»
    Subset Seed Automaton
    16 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 definition provides a compact automaton, much smaller t...
    Gregory Kucherov, Laurent Noé, Mikhail A. R...
    claim paper
    Read More »
    WIA
    2007
    Springer
    138views Artificial Intelligence» more  WIA 2007»
    Accelerating Boyer Moore Searches on Binary Texts
    16 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 »
    « first‹ previous…860861862863864865866867868…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.