A Logic-Free Method for Modular Composition of Specifications.

Victor Yodaiken

Published in: ICCI (1990)

Keyphrases

dynamic programming
mutual information
preprocessing
clustering method
detection method
synthetic data
significant improvement
cost function
experimental evaluation
computational cost
classification accuracy
machine learning
multiscale
input data
optimization method