Correctness-by-Construction in Stringology.

Bruce W. Watson

Published in: Stringology (2012)

Keyphrases

machine learning
similarity measure
construction process
real time
decision making
knowledge base
case study
search algorithm
special case
digital images