The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

Paritosh Shroff Christian Skalka Scott F. Smith

Published in: APLAS (2007)

Keyphrases

databases
neural network
search engine
user interface
real time
real world
data mining
information retrieval
computer vision
web services
case study
digital libraries
color images
lower levels