Inhabitation for Non-idempotent Intersection Types.

Antonio Bucciarelli Delia Kesner Simona Ronchi Della Rocca

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

information retrieval
image segmentation
data sets
computer vision
database systems
face recognition
hidden markov models
morphological operators