Transformations and resynthesis for testability of RT-level control-data path specifications.
Subhrajit BhattacharyaFranc BrglezSujit DeyPublished in: IEEE Trans. Very Large Scale Integr. Syst. (1993)
Keyphrases
- database
- data sets
- data collection
- training data
- raw data
- synthetic data
- image data
- historical data
- data quality
- data acquisition
- data processing
- data analysis
- data sources
- experimental data
- data structure
- small number
- data points
- higher level
- spatial data
- network structure
- multimedia data
- statistical methods
- noisy data
- high level
- complex data
- learning algorithm