Symbolic Complexity Analysis Using Context-Preserving Histories.
Kasper Søe LuckowRody KerstenCorina S. PasareanuPublished in: ICST (2017)
Keyphrases
- complexity analysis
- theoretical analysis
- first order logic
- context aware
- contextual information
- computational complexity
- lower bound
- image processing
- context sensitive
- color images
- relational databases
- multiscale
- bayesian networks
- image segmentation
- context dependent
- data sets
- evolutionary search
- symbolic description