Hilbert's Program Sixty Years Later.

Published in: J. Symb. Log. (1988)

Keyphrases

practical experience
wide range
real time
static analysis
program execution
information retrieval
information systems
multimedia
high level
feature extraction
digital libraries
preprocessing
hidden markov models
test cases
program synthesis
experience gained