Semantical Analysis of Specification Logic, 3: An Operational Approach.

Published in: ESOP (2004)

Keyphrases

computer vision
high level
database
real time
case study
image analysis
machine learning
multiscale
data structure
evolutionary algorithm
statistical analysis
formal specification