Optimizing Programs over the Constructive Reals.

Vernon A. Lee Jr.Hans-Juergen Boehm

Published in: PLDI (1990)

Keyphrases

computer programs
computer vision
case study
data mining
decision making
database systems
probabilistic model
constraint databases
control program