Verifying Parametric Thread Creation.

Igor Walukiewicz

Published in: SOFSEM (2017)

Keyphrases

neural network
creation process
databases
lower bound
model checking
parametric models
database
data sets
computer vision
feature extraction
multiscale
data structure
social media
content analysis