Synthesis of Mealy Machines Using Derivatives.

Helle Hvid Hansen David Costa Jan J. M. M. Rutten

Published in: CMCS (2006)

Keyphrases

higher order
hidden markov models
program synthesis
data mining
flowshop
image processing
data structure
multi agent systems
multiresolution
multi class
parallel machines
functional programs