Monadification, Memoization and Dynamic Programming.
Simon WimmerShuwei HuTobias NipkowPublished in: Arch. Formal Proofs (2018)
Keyphrases
- dynamic programming
- optimal control
- greedy algorithm
- state space
- linear programming
- stereo matching
- dp matching
- reinforcement learning
- e learning
- image retrieval
- infinite horizon
- piecewise linear
- single machine
- artificial neural networks
- database
- lower bound
- object recognition
- data structure
- optimal solution
- face recognition
- artificial intelligence
- genetic algorithm
- neural network
- data sets