A Polymorphic Environment Calculus and its Type-Inference Algorithm.
Shin-ya NishizakiPublished in: High. Order Symb. Comput. (2000)
Keyphrases
- optimization algorithm
- cost function
- improved algorithm
- detection algorithm
- learning algorithm
- computationally efficient
- preprocessing
- np hard
- dynamic programming
- computational cost
- expectation maximization
- optimal solution
- recognition algorithm
- computational complexity
- times faster
- selection algorithm
- inference mechanism
- parameter estimation
- input data
- high accuracy
- experimental evaluation
- search space
- video sequences
- significant improvement
- tree structure
- path planning
- face recognition
- data sets
- real time