Type-theoretic approaches to ordinals.

Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu

Published in: Theor. Comput. Sci. (2023)

Keyphrases

databases
alternative approaches
machine learning
image processing
multimedia
image segmentation
face recognition
wide range
medical images