How to Verify Aggregating Global Properties.

Published in: PNSE@Petri Nets (2024)

Keyphrases

structural properties
real time
relational databases
database
image processing
support vector
digital libraries
expert systems
probability distribution
global information
topological properties
global consistency