Login / Signup

Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.

Milos BestaFrank A. Stomp
Published in: ICECCS (2002)
Keyphrases
  • pattern matching
  • pattern matching algorithm
  • boyer moore
  • preprocessing
  • string matching
  • regular expressions
  • aho corasick
  • suffix tree
  • feature extraction
  • data sets
  • database systems
  • data streams
  • image compression