Parallelisierungsmöglichkeiten formal spezifizierter Protokolle.

K. Wemheuer Stefan Böhmer

Published in: Transputer-Anwender-Treffen (1992)

Keyphrases

preprocessing
data sets
decision trees
formal methods
machine learning
information retrieval
search engine
metadata
multiscale
special case
formal specification