Functions-as-Constructors Higher-Order Unification.

Tomer Libal Dale Miller

Published in: FSCD (2016)

Keyphrases

higher order
natural images
high order
conditional random fields
description logics
basis functions
pairwise
markov models
markov random field
special case
lower order
real time
mobile robot
relational databases
search algorithm
search engine
neural network
databases
theorem prover
database