A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report.
Joris CeulemansAndreas NuytsDominique DevriesePublished in: CoRR (2024)
Keyphrases
- preprocessing
- experimental evaluation
- selection algorithm
- computational complexity
- matching algorithm
- cost function
- np hard
- dynamic programming
- optimization algorithm
- high accuracy
- particle swarm optimization
- single pass
- recognition algorithm
- detection algorithm
- theoretical analysis
- linear programming
- computationally efficient
- worst case
- probabilistic model
- computational cost
- clustering method
- mathematical model
- evolutionary algorithm
- times faster
- convex hull
- memory requirements
- objective function
- similarity measure
- improved algorithm
- estimation algorithm
- image processing