Optimizing Sisal Programs: A Formal Approach.

Isabelle Attali Denis Caromel Romain Guider Andrew L. Wendelborn

Published in: Euro-Par, Vol. I (1996)

Keyphrases

formal model
computer vision
automatic programming
digital libraries
evolutionary algorithm
computer programs
database
real time
neural network
information retrieval
information technology
java programs
prolog programs