Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).
Kamil DudkaPetr PeringerTomás VojnarPublished in: TACAS (2014)
Keyphrases
- shape model
- memory requirements
- graph mining
- topological information
- graph model
- shape analysis
- main memory
- topological features
- shape retrieval
- memory usage
- neural network
- shape representation
- memory space
- memory size
- shape recognition
- pruning power
- shape features
- graph databases
- graph structure
- graph theory
- shape matching
- directed graph
- random walk
- np complete
- high level
- social networks