Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.

Lukás Holík Roland Meyer Tomás Vojnar Sebastian Wolff

Published in: SAS (2017)

Keyphrases

high level
data analysis
information retrieval
statistical analysis
search engine
e learning
reinforcement learning
image analysis