Usage Analysis with Natural Reduction Types.

David A. Wright Clement A. Baker-Finch

Published in: WSA (1993)

Keyphrases

multiscale
data analysis
computer vision
three dimensional
image analysis
quantitative analysis
e learning
search algorithm
computational complexity
feature space
lower bound
information technology
trade off
mobile devices