Login / Signup
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Lars Birkedal
Derek Dreyer
Philippa Gardner
Zhong Shao
Published in:
Dagstuhl Reports (2015)
Keyphrases
</>
significant improvement
databases
classification method
benchmark datasets
model checking
database
neural network
computer vision
image processing
preprocessing
machine learning methods
computationally expensive
methods require