HAL/S/V: a verifiable subset for HAL/S.

Anand R. Tripathi William D. Young Donald I. Good James C. Browne

Published in: ACM SIGPLAN Notices (1981)

Keyphrases

real world
initial set
learning algorithm
three dimensional
image sequences
high quality
multiscale
preprocessing
multiresolution