search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Normalization for Cubical Type Theory.

Jonathan Sterling Carlo Angiuli

Published in: LICS (2021)

Keyphrases

multi agent systems
digital images
computational model
preprocessing
theoretical framework
image processing
formal theory
databases
general theory
belief functions
self organizing maps
probabilistic model
three dimensional
computer vision
artificial intelligence
learning algorithm
machine learning
real world