Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
Thien UdomsrirungruangNobuko YoshidaPublished in: PLACES@ETAPS (2024)
Keyphrases
- computational complexity
- worst case
- learning algorithm
- computational cost
- significant improvement
- computational efficiency
- times faster
- recently developed
- machine learning algorithms
- orders of magnitude
- space complexity
- high computational complexity
- optimization problems
- theoretical analysis
- classification algorithm
- memory requirements
- non binary
- computationally complex
- computationally efficient
- decision problems
- database
- evolutionary algorithm
- video sequences
- data structure
- website
- real world
- neural network