VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.

Pascal Hitzler Anthony Karel Seda

Published in: IWFM (2001)

Keyphrases

domain independent
domain specific
main aspects
neural network
information retrieval
image processing
three dimensional
multi agent
search algorithm
knowledge acquisition
cross domain
relevant concepts
topological spaces