From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog.

Roland Meyer Heike Wehrheim

Published in: Correct System Design (2015)

Keyphrases

vector space
database
data mining
search engine
search space
machine learning
case study
image segmentation
search algorithm
space time
parameter space
daily life
scientific data
everyday life
scientific discovery
scientific disciplines