How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).
Alberto PettorossiMaurizio ProiettiSophie RenaultPublished in: JICSLP (1996)
Keyphrases
- matching algorithm
- partial deduction
- regular expressions
- logic programs
- template matching
- image matching
- high level
- matching process
- feature matching
- pattern matching
- hausdorff distance
- graph matching
- control points
- voting scheme
- point matching
- partial matching
- object matching
- data structure
- shape representation
- matching scheme
- image sequences
- fingerprint matching
- matching strategy
- pattern matching algorithm