Login / Signup

Symbolic finite state transducers: algorithms and applications.

Margus VeanesPieter HooimeijerBenjamin LivshitsDavid MolnarNikolaj Bjørner
Published in: POPL (2012)
Keyphrases
  • learning algorithm
  • machine learning
  • pattern recognition
  • knowledge discovery