Upper Adjoints for Fast Inter-procedural Variable Equalities.

Markus Müller-Olm Helmut Seidl

Published in: ESOP (2008)

Keyphrases

artificial intelligence
real time
data sets
machine learning
metadata
database systems
multiscale
video sequences
digital libraries