The VATES-Diamond as a Verifier's Best Friend.

Sabine Glesner Björn Bartels Thomas Göthel Moritz Kleine

Published in: Verification, Induction, Termination Analysis (2010)

Keyphrases

social networks
social network analysis
social networking
online social networks
power law
feature selection
case study
multiresolution
database
real time
data sets
artificial intelligence
information systems
reinforcement learning
data streams
probability distribution