A Sound Algorithm for Asynchronous Session Subtyping.
Mario BravettiMarco CarboneJulien LangeNobuko YoshidaGianluigi ZavattaroPublished in: CONCUR (2019)
Keyphrases
- learning algorithm
- preprocessing
- times faster
- experimental study
- detection algorithm
- theoretical analysis
- cost function
- k means
- linear programming
- path planning
- dynamic programming
- segmentation algorithm
- optimization algorithm
- convergence rate
- objective function
- image processing
- computational cost
- computationally efficient
- expectation maximization
- matching algorithm
- input data
- semi supervised
- convex hull
- experimental evaluation
- np hard
- computational complexity
- recognition algorithm
- improved algorithm
- worst case
- single pass
- particle swarm optimization
- data sets
- probabilistic model
- search algorithm
- optimal solution
- similarity measure
- neural network