Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.

Radu Mateescu Anton Wijs

Published in: Sci. Comput. Program. (2014)

Keyphrases

branch and bound
data sets
artificial intelligence
information retrieval
image processing
database systems
artificial neural networks
search space
mutual information
monotonicity property