Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.
Zongyan HuangMatthew EnglandJames H. DavenportLawrence C. PaulsonPublished in: SYNASC (2016)
Keyphrases
- machine learning
- decision trees
- image decomposition
- inductive logic programming
- inductive learning
- pattern recognition
- explanation based learning
- semi supervised learning
- basis functions
- machine learning methods
- learning tasks
- information extraction
- feature selection
- data mining
- machine learning approaches
- machine learning and data mining
- decomposition method
- decomposition methods
- neural network
- machine learning algorithms
- application of machine learning methods
- data analysis
- learning algorithm
- computer science
- supervised learning
- natural language processing
- statistical methods
- computational intelligence
- active learning
- computational biology
- model selection
- knowledge acquisition
- support vector
- reinforcement learning
- decomposition algorithm
- multiscale
- knowledge base
- hierarchical decomposition
- learning systems