Modular Analysis via Specifications as Values

Sam Tobin-Hochstadt David Van Horn

Published in: CoRR (2011)

Keyphrases

image analysis
automatic analysis
feature extraction
wide range
video sequences
quantitative analysis