Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's.

Published in: LICS (2010)

Keyphrases

topic maps
connected components
databases
machine learning
general purpose
decision making
image processing
information extraction
information retrieval
natural language
information technology
data model