Extended Static Checking: A Ten-Year Perspective.

K. Rustan M. Leino

Published in: Informatics (2001)

Keyphrases

viewpoint
data sets
image segmentation
real time
databases
neural network
social networks
multiscale
pairwise
hidden markov models
probabilistic model