Incremental units-of-measure verification.

Matthew Danish Dominic Orchard Andrew Rice

Published in: CoRR (2024)

Keyphrases

model checking
similarity measure
incremental learning
signature verification
computer vision
image processing
data driven
face verification
databases
case study
evolutionary algorithm
probabilistic model
distance measure
dissimilarity measure
formal verification
incremental algorithms