A Sound and Complete Substitution Algorithm for Multimode Type Theory.
Joris CeulemansAndreas NuytsDominique DevriesePublished in: TYPES (2023)
Keyphrases
- experimental evaluation
- optimization algorithm
- learning algorithm
- theoretical analysis
- high accuracy
- computational cost
- cost function
- preprocessing
- detection algorithm
- image processing
- worst case
- times faster
- experimental study
- decision trees
- computationally efficient
- least squares
- optimal solution
- dynamic programming
- data structure
- single pass
- computational complexity
- hardware implementation
- provably correct
- improved algorithm
- selection algorithm
- estimation algorithm
- memory requirements
- matching algorithm
- tree structure
- mathematical model
- simulated annealing
- machine learning
- motion estimation
- objective function
- k means
- evolutionary algorithm