Reusing Formal Models via Lifting.

Dana Dghaym Colin F. Snook Thai Son Hoang Michael J. Butler

Published in: ICECCS (2018)

Keyphrases

formal models
formal model
rule based systems
wavelet transform
learning objects
process model
artificial intelligence
lifting scheme
real world
feature extraction
genetic programming
daubechies wavelet