On-The-Fly Resolve Trace Minimization.

Ohad Shacham Karen Yorav

Published in: DAC (2007)

Keyphrases

objective function
convex minimization
execution traces
databases
image processing
expert systems
geometric interpretation