cake_lpr: Verified Propagation Redundancy Checking in CakeML.

Yong Kiam Tan Marijn J. H. Heule Magnus O. Myreen

Published in: TACAS (2) (2021)

Keyphrases

wave propagation
license plate detection
computer vision
redundancy reduction
databases
genetic algorithm
consistency checking
information redundancy