Login / Signup
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.
Frank S. de Boer
Willem P. de Roever
Ulrich Hannemann
Published in:
MFCS (1999)
Keyphrases
</>
cost function
synthetic data
objective function
experimental evaluation
computational cost
high precision
multiscale
significant improvement
clustering method
classification method
clustering algorithm
computational complexity
prior knowledge
detection method
semantic information