Symbolic analysis and verification of CPA descriptions.

Michael C. McFarland Thaddeus J. Kowalski

Published in: CHARME (1995)

Keyphrases

databases
formal analysis
data mining
high level
data analysis
expert systems
statistical analysis
symbolic descriptions
multimedia
optimal solution
image analysis