Specifying the Correctness of Binding-Time Analysis.

Published in: POPL (1993)

Keyphrases

image analysis
statistical analysis
database
data sets
image processing
clustering algorithm
three dimensional
data streams
mobile devices
medical images