Equivalences and refinement

Rob van Glabbeek Ursula Goltz

Published in: Forschungsberichte, TU Munich (1990)

Keyphrases

connected components
real time
information retrieval
relational algebra
machine learning
genetic algorithm
artificial intelligence
computer vision
knowledge base
refinement process
step wise