Synthetic Integral Cohomology in Cubical Agda.

Guillaume Brunerie Axel Ljungström Anders Mörtberg

Published in: CSL (2022)

Keyphrases

real world
digital images
high level
multiscale
real scenes
data sets
genetic algorithm
social networks
computer vision
image segmentation
reinforcement learning
data structure
association rules
image analysis
probabilistic model
real images are presented