On Boyer-Moore automata

被引：0
|
作者：
Baeza-Yates, R.A. [1 ]
Choffrut, C. [1 ]
Gonnet, G.H. [1 ]
机构：
[1] Universidad de Chile, Santiago, Chile
来源：
Algorithmica (New York) | 1994年 / 12卷 / 4-5期
关键词：
18;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：268 / 292
相关论文
共 50 条
  • [21] Approximate Boyer-Moore String Matching for Small Alphabets
    Salmela, Leena
    Tarhio, Jorma
    Kalsi, Petri
    ALGORITHMICA, 2010, 58 (03) : 591 - 609
  • [22] Fingerprint Identification using Bozorth and Boyer-Moore Algorithm
    Supatmi, S.
    Sumitra, I. D.
    2ND INTERNATIONAL CONFERENCE ON INFORMATICS, ENGINEERING, SCIENCE, AND TECHNOLOGY (INCITEST 2019), 2019, 662
  • [23] MODELING AND VERIFICATION OF TIMING CONDITIONS WITH THE BOYER-MOORE PROVER
    KINNIMENT, DJ
    KOELMANS, AM
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 111 - 127
  • [24] Approximate Boyer-Moore String Matching for Small Alphabets
    Leena Salmela
    Jorma Tarhio
    Petri Kalsi
    Algorithmica, 2010, 58 : 591 - 609
  • [25] ON THE COMPARISON OF HOL AND BOYER-MOORE FOR FORMAL HARDWARE VERIFICATION
    ANGELO, CM
    VERKEST, D
    CLAESEN, L
    DEMAN, H
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 45 - 72
  • [26] A Boyer-Moore Type Algorithm for Timed Pattern Matching
    Waga, Masaki
    Akazaki, Takumi
    Hasuo, Ichiro
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 121 - 139
  • [27] MECHANICALLY VERIFYING CONCURRENT PROGRAMS WITH THE BOYER-MOORE PROVER
    GOLDSCHLAG, DM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1005 - 1023
  • [28] A DESCRIPTION METHODOLOGY FOR PARAMETERIZED MODULES IN THE BOYER-MOORE LOGIC
    VERKEST, D
    VANDENBERGH, J
    CLAESEN, L
    DEMAN, H
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 37 - 57
  • [29] A NEW PROOF OF THE LINEARITY OF THE BOYER-MOORE STRING SEARCHING ALGORITHM
    GUIBAS, LJ
    ODLYZKO, AM
    SIAM JOURNAL ON COMPUTING, 1980, 9 (04) : 672 - 682
  • [30] Visual Approach of Searching Process using Boyer-Moore Algorithm
    Rahim, Robbi
    Ahmar, Ansari Saleh
    Ardyanti, Ayu Putri
    Nofriansyah, Dicky
    INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY (ICONICT), 2017, 930
12345