A Higher-Order Calculus of Computational Fields.

Giorgio Audrito Mirko Viroli Ferruccio Damiani Danilo Pianini Jacob Beal

Published in: ACM Trans. Comput. Log. (2019)

Keyphrases

higher order
lambda calculus
computational vision
high order
computer vision
natural images
object recognition
relational databases
query language
data mining
search algorithm
conditional random fields
bayesian networks
low order
lower order
machine learning
provably correct
sequent calculus
database