The Quantitative Verification Benchmark Set.

Arnd Hartmanns Michaela Klauck David Parker Tim Quatmann Enno Ruijters

Published in: TACAS (1) (2019)

Keyphrases

neural network
case study
small number
high level
feature selection
knowledge base
three dimensional
multiscale
hierarchical structure
directed graph