Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method.
Nikolaos TriantafyllouIakovos OuranosPetros S. StefaneasPanayiotis FrangosPublished in: WINSYS (2010)
Keyphrases
- cost function
- computational cost
- dynamic programming
- optimization algorithm
- clustering method
- preprocessing
- detection algorithm
- objective function
- detection method
- high accuracy
- classification algorithm
- verification method
- formal specification
- k means
- convergence rate
- significant improvement
- recognition algorithm
- segmentation method
- similarity measure
- learning algorithm
- matching algorithm
- segmentation algorithm
- computational complexity
- optimal solution
- model checking
- database
- concurrent systems
- knowledge representation
- probabilistic model
- relational databases
- web services
- artificial intelligence