The Univalence Axiom in Cubical Sets.

Marc Bezem Thierry Coquand Simon Huber

Published in: J. Autom. Reason. (2019)

Keyphrases

digital images
learning algorithm
artificial intelligence
website
database
machine learning
image processing
web services
reinforcement learning
learning environment
preprocessing
feature space
mobile robot
probabilistic model
closed sets