An Intensional Characterization of the Largest Bisimulation.

Published in: Theor. Comput. Sci. (1987)

Keyphrases

decision making
higher order
data integration
equivalence relation
information retrieval
artificial intelligence
image processing
decision trees
similarity measure
object recognition
query evaluation
optimal planning