Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems.
Javier CámaraHenry MucciniKarthik VaidhyanathanPublished in: ICSA (2020)
Keyphrases
- machine learning
- management system
- learning systems
- computer systems
- asynchronous circuits
- quantitative and qualitative
- expert systems
- information retrieval
- knowledge base
- knowledge representation
- text mining
- building blocks
- statistical machine learning
- machine learning algorithms
- model selection
- knowledge acquisition
- databases
- case study
- feature selection
- artificial intelligence
- learning algorithm