Objects and Subtyping in the Lambda-Pi-Calculus Modulo.

Raphaël Cauderlier Catherine Dubois

Published in: TYPES (2014)

Keyphrases

multiple objects
object model
real time
image segmentation
data objects
complex scenes
learning algorithm
keypoints
image regions
object segmentation