Reachability Analysis of Graph Modelled Collections.
Serwah SabetghadamMihai LupuRalf BierigAndreas RauberPublished in: ECIR (2015)
Keyphrases
- reachability analysis
- model checking
- markov decision processes
- timed automata
- graph theory
- graph structure
- directed graph
- weighted graph
- structured data
- random walk
- digital libraries
- metadata
- incremental algorithms
- optimal policy
- document collections
- information retrieval
- bipartite graph
- graph representation
- directed acyclic graph
- graph mining
- graph model
- social networks
- artificial intelligence