Program Verification Techniques as a Tool for Reasoning about Action and Change.

Witold Lukaszewicz Ewa Madalinska-Bugaj

Published in: KI (1994)

Keyphrases

database
real time
neural network
decision trees
similarity measure
multiscale
cooperative
image retrieval
multiresolution
software tools
analysis tool