ALITHEIA: Towards Practical Verifiable Graph Processing.
Yupeng ZhangCharalampos PapamanthouJonathan KatzPublished in: CCS (2014)
Keyphrases
- real time
- random walk
- graph representation
- graph theory
- stable set
- graph structure
- sufficient conditions
- data processing
- real world
- neural network
- social networks
- search engine
- practical application
- bipartite graph
- graphical representation
- knn
- data structure
- directed graph
- graph matching
- genetic algorithm
- weighted graph
- graph model
- undirected graph
- database