On Cool Congruence Formats for Weak Bisimulations.

Rob J. van Glabbeek

Published in: ICTAC (2005)

Keyphrases

metadata
socio technical
real world
artificial intelligence
feature selection
data mining
high level
database systems
training data
bayesian networks
optimal solution
pattern recognition
data streams
information technology
pairwise
search space
long term
data sets