Equational Reasoning for Linking with First-Class Primitive Modules.

J. B. Wells René Vestergaard

Published in: ESOP (2000)

Keyphrases

data sets
decision trees
search algorithm
database
genetic algorithm
computer vision
knowledge base
high level
similarity measure
data structure
support vector
artificial neural networks
building blocks
class specific
modular architecture