A Formal Framework for the Derivation of Machine-Specific Optimizers.

Robert Giegerich

Published in: ACM Trans. Program. Lang. Syst. (1983)

Keyphrases

probabilistic model
framework enables
theoretical framework
main contribution
computer vision
conceptual framework
high level
special case
meta level
bayesian framework
lightweight
domain specific
real time
search algorithm
multiscale
case study
e learning
search engine
databases