Fissile type analysis: modular checking of almost everywhere invariants.

Devin Coughlin Bor-Yuh Evan Chang

Published in: POPL (2014)

Keyphrases

quantitative analysis
data sets
automatic analysis
image analysis
neural network
information retrieval
genetic algorithm
computer vision
information systems
similarity measure
data structure
relational databases
real world
evolutionary algorithm
data model
statistical analysis
real time