A fold/unfold transformation framework for rewrite theories extended to CCT.

María Alpuente Demis Ballis Michele Baggi Moreno Falaschi

Published in: PEPM (2010)

Keyphrases

theoretical framework
main contribution
expert systems
hidden markov models
real time
image processing
case study
bayesian networks
semi supervised
lightweight