Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.
Maciej BuszkaDariusz BiernackiPublished in: CoRR (2021)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- higher level
- high level
- markov random field
- low order
- low level
- lambda calculus
- anti unification
- evaluation criteria
- social networks
- scheduling problem
- support vector
- website
- artificial intelligence
- shape similarity
- neural network
- image correspondences
- correspondence matching
- data sets
- real time