Automating Boundary Filling in Cubical Agda.

Maximilian Doré Evan Cavallo Anders Mörtberg

Published in: CoRR (2024)

Keyphrases

object boundaries
digital images
information retrieval
boundary estimation
boundary extraction
topology preserving
bayesian networks
knowledge base
artificial intelligence
genetic algorithm
database systems
optimal solution
data structure
motion estimation
image processing
version spaces
real time