Modular synthesis of verified verifiers of computation with STV algorithms.

Milad K. Ghale Dirk Pattinson Michael Norrish

Published in: FormaliSE@ICSE (2019)

Keyphrases

computational cost
linear algebra
computational complexity
benchmark datasets
orders of magnitude
computationally expensive
data structure
computationally efficient
computer vision algorithms
machine learning
genetic algorithm
learning algorithm
website
image sequences