Proof-oriented and applicative valuations in definitions of algorithms.

Michel Sintzoff

Published in: FPCA (1981)

Keyphrases

computational complexity
optimization problems
learning algorithm
computational cost

computationally efficient
precise definition
markov random field
theoretical analysis

orders of magnitude
computationally expensive
decision trees
data structure

significant improvement
np complete
benchmark datasets
computational efficiency