Staged computation with names and necessity.

Aleksandar Nanevski Frank Pfenning

Published in: J. Funct. Program. (2005)

Keyphrases

machine learning
multiscale
search algorithm
natural language
efficient computation
computer vision
knowledge base
control system