A static analyzer for finding dynamic programming errors.

William R. Bush Jonathan D. Pincus David J. Sielaff

Published in: Softw. Pract. Exp. (2000)

Keyphrases

dynamic programming
greedy algorithm
optimal policy
method finds
real world
computer vision
reinforcement learning
linear programming
least squares
segmentation errors
error analysis
optimal control
range images
database
state space
feature selection
artificial intelligence
data sets