A Method for Analyzing Loop Programs.
Richard C. WatersPublished in: IEEE Trans. Software Eng. (1979)
Keyphrases
- experimental evaluation
- detection algorithm
- synthetic data
- dynamic programming
- high accuracy
- high precision
- objective function
- optimization algorithm
- cost function
- theoretical analysis
- statistical model
- segmentation method
- detection method
- clustering method
- energy function
- computational cost
- prior knowledge
- pairwise
- classification method
- mathematical model
- optimization method
- em algorithm
- support vector machine svm
- data sets
- maximum likelihood
- input data
- probabilistic model
- bayesian networks
- learning algorithm
- genetic algorithm