Formalization of Transform Methods Using HOL Light.

Adnan Rashid Osman Hasan

Published in: CICM (2017)

Keyphrases

computational cost
neural network
data mining
computationally expensive
qualitative and quantitative
methods require
artificial intelligence
information systems
preprocessing
artificial neural networks
search methods