Bounded Lazy Initialization.

Jaco Geldenhuys Nazareno Aguirre Marcelo F. Frias Willem Visser

Published in: NASA Formal Methods (2013)

Keyphrases

knowledge base
asymptotically optimal
averaged one dependence estimators
database
neural network
information retrieval
search engine
computer vision
feature selection
metadata
k means
initial conditions
evolution process