Mechanical Certification of Systolic Algorithms.

S. Purushothaman P. A. Subrahmanyam

Published in: J. Autom. Reason. (1989)

Keyphrases

computational cost
computer vision
orders of magnitude
information retrieval
learning algorithm
case study
data structure
computational complexity
computationally expensive
recently developed
database
data sets
artificial intelligence