Component-Oriented Specification of Performance Measures.

Alessandro Aldini Marco Bernardo

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

neural network
evaluation measures
specification language
quantitative measures
real time
high level
statistical tests
image processing
case study
three dimensional
video sequences
formal verification
complexity measures
provably correct