Field Constraint Analysis.

Thomas Wies Viktor Kuncak Patrick Lam Andreas Podelski Martin C. Rinard

Published in: VMCAI (2006)

Keyphrases

data analysis
image analysis
quantitative analysis
neural network
machine learning
pattern recognition
hidden markov models
similarity measure
lower bound
information technology
statistical analysis
future development
linear constraints