Static Complexity Analysis of Higher Order Programs.
James AveryLars KristiansenJean-Yves MoyenPublished in: FOPARA (2009)
Keyphrases
- complexity analysis
- higher order
- theoretical analysis
- natural images
- pairwise
- lower bound
- markov random field
- low order
- high order
- dynamic analysis
- computer programs
- computational complexity
- first order logic
- data mining
- conditional random fields
- search algorithm
- object oriented
- information technology
- object recognition
- reverse engineering
- markov models
- bayesian networks
- image segmentation
- image processing
- intermediate level
- neural network
- provably correct