Formalising Formulas-as-Types-as-Objects.

Published in: TYPES (1999)

Keyphrases

multiple types
data sets
moving objects
multiple objects
image segmentation
keypoints
spatial relationships
object segmentation
complex scenes
digital objects