A Mechanically Verified Incremental Garbage Collector.

David M. Russinoff

Published in: Formal Aspects Comput. (1994)

Keyphrases

incremental learning
information systems
data driven
efficient incremental
incremental clustering
neural network
real world
image processing
website
multiscale
cooperative
preprocessing
relational databases