Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.
Nikolaos TriantafyllouIakovos OuranosPetros S. StefaneasPanayiotis FrangosPublished in: ICETE (Selected Papers) (2010)
Keyphrases
- high accuracy
- experimental evaluation
- dynamic programming
- detection algorithm
- computational complexity
- detection method
- cost function
- optimization algorithm
- preprocessing
- computational cost
- improved algorithm
- significant improvement
- high efficiency
- k means
- tree structure
- verification method
- computationally efficient
- input data
- theoretical analysis
- computational efficiency
- objective function
- segmentation method
- optimization method
- classification algorithm
- single pass
- similarity measure
- recognition algorithm
- energy function
- clustering method
- probabilistic model
- experimental study
- support vector machine svm
- synthetic and real images
- selection algorithm
- convergence rate
- learning algorithm
- decomposition method
- optimal solution
- optimal path
- combinatorial optimization
- parameter estimation
- segmentation algorithm
- estimation algorithm
- expectation maximization
- mathematical model
- region of interest
- computational speed
- matching algorithm
- np hard
- mapping function
- pairwise
- reconstruction method
- neural network
- ant colony algorithm
- search space
- simulated annealing
- open source
- kalman filter