A Semantic Driven Method to Check the Finiteness of CCS Processes.

Nicoletta De Francesco Paola Inverardi

Published in: CAV (1991)

Keyphrases

cost function
experimental evaluation
objective function
high accuracy
synthetic data
significant improvement
natural language
computational complexity
preprocessing
clustering method
high precision
knowledge base
training set
dynamic programming
input data
detection method