Reduced Functional Consistency of Uninterpreted Functions.

Amir Pnueli Ofer Strichman

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

functional properties
functional language
learning algorithm
e learning
knowledge base
image segmentation
search algorithm
basis functions
distributed databases
significantly reduced
maintaining consistency