Building certified components within FOCAL.

Catherine Dubois Thérèse Hardin Véronique Donzeau-Gouge

Published in: Trends in Functional Programming (2004)

Keyphrases

real time
building blocks
data sets
data mining
decision making
software components
neural network
information retrieval
image segmentation
image sequences
information technology
artificial neural networks
design patterns