A Type Inference Algorithm for Secure Ambients.
Franco BarbaneraMariangiola Dezani-CiancagliniIvano SalvoVladimiro SassonePublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- detection algorithm
- search space
- linear programming
- recognition algorithm
- preprocessing
- np hard
- dynamic programming
- worst case
- high accuracy
- learning algorithm
- inference mechanism
- inference process
- improved algorithm
- times faster
- clustering method
- maximum likelihood
- objective function
- data structure
- experimental evaluation
- cost function
- computational complexity
- significant improvement
- path planning
- data sets
- highly efficient
- bayesian inference
- convex hull
- probabilistic model
- ant colony optimization
- optimization algorithm
- parameter estimation
- segmentation algorithm
- theoretical analysis
- expectation maximization