A More Formal Treatment of a Less Simple Example.

Edsger W. Dijkstra

Published in: Program Construction (1978)

Keyphrases

formal treatment
search algorithm
real time
image processing
pattern recognition
databases
machine learning
database systems
image sequences
support vector
pairwise
control system