A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification.
Miguel A. Martínez-del-AmorIgnacio Pérez-HurtadoMario J. Pérez-JiménezAgustin Riscos-NúñezFernando Sancho-CaparriniPublished in: Int. J. Found. Comput. Sci. (2011)
Keyphrases
- formal verification
- preprocessing
- learning algorithm
- posterior probability
- computational complexity
- dynamic programming
- probabilistic model
- optimization algorithm
- cost function
- worst case
- similarity measure
- matching algorithm
- expectation maximization
- computational cost
- np hard
- search space
- simulated annealing
- significant improvement
- segmentation algorithm
- k means
- heuristic search
- model checking
- reinforcement learning
- recognition algorithm
- bayesian networks
- context free parsing