Review of proofs and algorithms by Gilles Dowek (translation by Maribel Fernandez).

Michaël Cadilhac

Published in: SIGACT News (2013)

Keyphrases

orders of magnitude
times faster
recently developed
data sets
computational complexity
computationally efficient
computational efficiency
machine translation
convergence rate
database
real time
computer vision
bayesian networks
significant improvement
computational cost