Automating Boundary Filling in Cubical Agda.

Maximilian Doré Evan Cavallo Anders Mörtberg

Published in: FSCD (2024)

Keyphrases

digital images
object boundaries
topology preserving
databases
shape description
boundary extraction
machine learning
artificial intelligence
image segmentation
medial axis