Login / Signup

Efficient Simplification of Bisimulation Formulas.

Uffe EngbergKim S. Larsen
Published in: TACAS (1995)
Keyphrases
  • data mining
  • preprocessing
  • genetic algorithm
  • feature selection
  • website
  • database systems
  • hidden markov models
  • rough sets