Second-Order Functions and Theorems in ACL2.

Alessandro Coglio

Published in: ACL2 (2015)

Keyphrases

databases
feature selection
higher order
real time
web services
case study
image segmentation
objective function
cooperative
high order