Login / Signup

Isomorphisms of types in the presence of higher-order references (extended version)

Pierre Clairambault
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases
  • higher order
  • high order
  • markov random field
  • machine learning
  • artificial intelligence
  • pairwise
  • natural images
  • lower order
  • learning algorithm
  • metadata
  • clustering algorithm
  • optimal solution
  • pattern recognition