Optimized Transformation and Verification of SystemC Methods.
Marcel PockrandtPaula HerberHolger GrossSabine GlesnerPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- computationally expensive
- significant improvement
- data mining techniques
- computational cost
- neural network
- expert systems
- preprocessing
- case study
- data mining
- artificial neural networks
- three dimensional
- medical images
- information systems
- empirical studies
- high dimensional data
- model checking
- machine learning methods