On Automatically Distinguishing Inequivalent Processes.

Rance Cleaveland

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

databases
genetic algorithm
trade off
automatically generated
information retrieval
social networks
feature extraction
lower bound
data model
special case
process model
user defined