Modular Analysis of Executables Using On-Demand Heyting Completion.

Julian Kranz Axel Simon

Published in: VMCAI (2018)

Keyphrases

image processing
three dimensional
artificial neural networks
quantitative analysis
automatic analysis
information retrieval
website
image segmentation
data analysis
statistical analysis