Property Checking via Structural Analysis.

Jason Baumgartner Andreas Kuehlmann Jacob A. Abraham

Published in: CAV (2002)

Keyphrases

structural analysis
civil engineering
image processing
three dimensional
reinforced concrete
data mining
machine learning
multiscale
preprocessing
user interface
diagrammatic reasoning