Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.
Ahmed BouajjaniWael-Amine BoutglayPeter HabermehlPublished in: CAV (1) (2022)
Keyphrases
- data driven
- numerical data
- numerical attributes
- automatically generate
- binary valued
- affine transformation
- databases
- relevant attributes
- attribute values
- genetic algorithm
- moment invariants
- computer vision
- program synthesis
- machine learning
- finite difference
- generation method
- image sequences
- categorical data
- qualitative and quantitative
- data sets
- feature selection
- image registration
- association rules