An Extended VDM Refinement Relation.

Morten Elvang-Gøransson Robert E. Fields

Published in: FME (1994)

Keyphrases

order sorted logic
real time
artificial intelligence
data mining
computer vision
decision making
image processing
multimedia
website
feature extraction
bayesian networks
search algorithm
digital libraries
information technology
relational databases
special case