Imperative objects with dependent types.

Joana Campos Vasco T. Vasconcelos

Published in: FTfJP@ECOOP (2015)

Keyphrases

multiple types
image processing
moving objects
d objects
object level
data objects
object segmentation
multi object
data sets
focus of attention
multiple objects
partial occlusion
spatial relationships
image regions
similarity measure
neural network
databases