A Local Algorithm for Checking Probabilistic Bisimilarity.
Yuxin DengWenjie DuPublished in: FCST (2009)
Keyphrases
- cost function
- significant improvement
- detection algorithm
- segmentation algorithm
- dynamic programming
- k means
- probabilistic model
- learning algorithm
- times faster
- classification algorithm
- computational complexity
- computationally efficient
- computational cost
- context free parsing
- high accuracy
- experimental evaluation
- preprocessing
- optimal solution
- objective function
- linear programming
- input data
- selection algorithm
- recognition algorithm
- matching algorithm
- bayesian networks
- posterior probability
- data sets
- estimation algorithm
- convex hull
- search space
- generative model
- simulated annealing
- np hard