Abstraction of Object Graphs in Program Verification.
Yifeng ChenJeff W. SandersPublished in: MPC (2010)
Keyphrases
- d objects
- object model
- search algorithm
- data abstraction
- graph theoretic
- moving objects
- data objects
- complex objects
- multiple objects
- spatial relationships
- relational graph
- graph representation
- graph databases
- weighted graph
- graph theory
- bipartite graph
- neural network
- complex networks
- pairwise
- object recognition
- high level