Sound Lemma Generation for Proving Inductive Validity of Equations.
Takahito AotoPublished in: FSTTCS (2008)
Keyphrases
- inductive learning
- machine learning
- inductive logic programming
- image processing
- data sets
- differential equations
- probabilistic model
- johnson lindenstrauss
- inductive reasoning
- generation algorithm
- numerical methods
- concept learning
- artificial neural networks
- multiscale
- image segmentation
- feature selection
- real world