Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean.
Justin KongDavid J. WebbManabu HagiwaraPublished in: ISITA (2018)
Keyphrases
- insertions and deletions
- error correction
- distance measure
- metric space
- knowledge representation
- edit distance
- information retrieval
- similarity measure
- evaluation metrics
- metric learning
- formal model
- error metrics
- euclidean metric
- error control
- error correcting
- databases
- distance metric
- feature selection
- machine learning