Performance verification using partial evaluation and interval analysis.

Jeffrey Walrath Ranga Vemuri W. Bradley

Published in: ED&TC (1997)

Keyphrases

partial evaluation
interval analysis
explanation based generalization
autocalibration
constrained optimization
constraint propagation
model checking
fuzzy set theory
domain theory
logic programming
learning algorithm
supervised learning
expert systems
face recognition
decision trees
knowledge base
computer vision