An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints.
Christian RinderknechtPublished in: Comput. J. (2003)
Keyphrases
- recognition algorithm
- decomposition algorithm
- dynamic programming
- cost function
- lower and upper bounds
- linear programming
- markov random field
- multiple constraints
- constraint satisfaction
- expectation maximization
- particle swarm optimization
- neural network
- semi supervised
- probabilistic model
- np hard
- search algorithm
- objective function