A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.
Mario BravettiMarco CarboneJulien LangeNobuko YoshidaGianluigi ZavattaroPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- preprocessing
- experimental evaluation
- k means
- dynamic programming
- recognition algorithm
- times faster
- parallel implementation
- matching algorithm
- optimization algorithm
- cost function
- high accuracy
- single pass
- learning algorithm
- particle swarm optimization
- improved algorithm
- hardware implementation
- computational cost
- np hard
- theoretical analysis
- significant improvement
- detection algorithm
- classification algorithm
- path planning
- convergence rate
- selection algorithm
- estimation algorithm
- expectation maximization
- convex hull
- segmentation algorithm
- simulated annealing
- worst case
- probabilistic model
- search space
- objective function
- reinforcement learning