The Patch Topology in Univalent Foundations.

Igor Arrieta Martín Hötzel Escardó Ayberk Tosun

Published in: CoRR (2024)

Keyphrases

image patches
artificial intelligence
real time
computer vision
data mining
case study
probabilistic model