On the Edge of Decidability in Complexity Analysis of Loop Programs.
Amir M. Ben-AmramLars KristiansenPublished in: Int. J. Found. Comput. Sci. (2012)
Keyphrases
- complexity analysis
- theoretical analysis
- lower bound
- edge information
- edge detection
- description logics
- query answering
- programming environment
- neural network
- multiscale
- computer programs
- first order logic
- multiple scales
- edge map
- computational complexity
- automatic programming
- database
- disjoint paths
- genetic algorithm
- data sets