Speeding up bounded sequential equivalence checking with cross-timeframe state-pair constraints from data learning.
Chia-Ling ChangCharles H.-P. WenJayanta BhadraPublished in: ITC (2009)
Keyphrases
- data collection
- data sets
- data structure
- prior knowledge
- knowledge discovery
- experimental data
- background knowledge
- synthetic data
- database
- data sources
- original data
- data points
- image data
- learning algorithm
- supervised learning
- input data
- data processing
- reinforcement learning
- training data
- human experts
- missing data
- noisy data
- learning process
- data distribution
- neural network
- learning systems
- high dimensional data
- small number
- data analysis
- end users
- mobile devices
- hidden markov models
- active learning