Systematic Derivation of Incremental Programs.

Yanhong A. Liu Tim Teitelbaum

Published in: Sci. Comput. Program. (1995)

Keyphrases

incremental learning
data driven
image processing
incremental clustering
real world
machine learning
case study
image segmentation
face recognition
relational databases
qualitative and quantitative
computer programs
fixpoint
functional programs