Full Abstraction for First-Order Objects with Recursive Types and Subtyping.
Ramesh ViswanathanPublished in: LICS (1998)
Keyphrases
- multiple types
- higher order
- object types
- real world objects
- complex scenes
- geometric constraints
- keypoints
- first order logic
- multiple objects
- quantifier elimination
- real time
- object level
- object segmentation
- spatial relationships
- moving objects
- high level
- three dimensional
- clustering algorithm
- learning algorithm
- databases
- data sets