The State Explosion Problem from Trace to Bisimulation Equivalence.

François Laroussinie Philippe Schnoebelen

Published in: FoSSaCS (2000)

Keyphrases

state space
data mining
three dimensional
data sets
databases
e learning
image processing
database systems
expert systems
hidden markov models
finite state machines