Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean.

Yuki Kondo Manabu Hagiwara Midori Kudo

Published in: ISITA (2020)

Keyphrases

databases
genetic algorithm
artificial intelligence
wide range
database
computer vision
case study
preprocessing
lower bound
relational databases
artificial neural networks
motion estimation
error correction