Proof Methods of Declarative Properties of Definite Programs.

Pierre Deransart

Published in: Theor. Comput. Sci. (1993)

Keyphrases

significant improvement
computationally expensive
data sets
neural network
desirable properties
methods require
imperative programs
real world
information systems
image processing
clustering algorithm
computational cost
classification method
machine learning methods
statistical methods