Dependent Types for Class-based Mutable Objects (Artifact).
Joana CamposVasco T. VasconcelosPublished in: Dagstuhl Artifacts Ser. (2018)
Keyphrases
- object classes
- multiple types
- complex scenes
- multiscale
- data objects
- object segmentation
- class hierarchy
- independent and identically distributed
- object instances
- spatial objects
- inductive inference
- multiple objects
- object model
- database
- spatial relationships
- data points
- relational databases
- face recognition
- information systems
- real time