GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies.
Joaquín Mateos-LagoMario Rodríguez-ArtalejoPublished in: PLILP (1996)
Keyphrases
- object model
- knowledge representation
- d objects
- object oriented
- object identity
- complex objects
- formal theory
- hierarchical structure
- computer vision
- spatial relations
- data objects
- spatial reasoning
- formal specification
- formal model
- spatial relationships
- spatial information
- keypoints
- particle filter
- object recognition
- high level