Deriving Transivity of VDM-Reification in DEVA.

Published in: VDM Europe (1) (1991)

Keyphrases

expressive power
temporal reasoning
meta level
information retrieval
data sets
learning algorithm
computer vision
three dimensional
multiscale
information extraction