A saturation method for the modal μ-calculus over pushdown systems.
Matthew HagueC.-H. Luke OngPublished in: Inf. Comput. (2011)
Keyphrases
- high precision
- computational cost
- multiresolution
- experimental evaluation
- significant improvement
- cost function
- dynamic programming
- theoretical analysis
- optimization algorithm
- high accuracy
- classification accuracy
- probabilistic model
- detection method
- fully automatic
- clustering method
- retrieval systems
- optimization method
- neural network
- color image enhancement
- support vector machine svm
- distributed systems
- prior knowledge
- expert systems
- computational complexity
- video sequences
- computer vision
- information retrieval
- machine learning