The Univalence Axiom in posetal model categories.

Misha Gavrilovich Assaf Hasson Itay Kaplan

Published in: J. Log. Comput. (2015)

Keyphrases

neural network
probabilistic model
prior knowledge
theoretical analysis
similarity measure
hybrid model
information retrieval
computational model
probability distribution
objective function
theoretical framework
multi agent systems
knowledge base
feature selection
learning algorithm
machine learning
data mining