Machine Learning Approaches for Interactive Verification.
Yu-Cheng ChouHsuan-Tien LinPublished in: PAKDD (2) (2014)
Keyphrases
- machine learning approaches
- machine learning methods
- machine learning
- machine learning algorithms
- question classification
- user friendly
- model checking
- virtual reality
- data mining methods
- machine learning models
- interactive video
- user interaction
- real world
- computer graphics
- multiscale
- image processing
- information visualization
- computer vision
- verification method
- concurrent systems