Mathematical description of the performance measurement and verification.

Xiaohua Xia Jiangfeng Zhang

Published in: AFRICON (2011)

Keyphrases

high level
model checking
formal methods
real world
database systems
databases
neural network
image processing
three dimensional
expert systems
face verification
correlation analysis
mathematical modeling
computer algebra