Predicate and Relation Lifting for Parametric Algebraic Specifications.

Published in: CMCS (2004)

Keyphrases

wavelet transform
delay insensitive
algebraic curves
lifting scheme
neural network
information retrieval
artificial intelligence
evolutionary algorithm
parametric models
linear algebra
control flow
algebraic structure
parametric representation