Verified Construction of Static Single Assignment Form.

Sebastian Ullrich Denis Lohner

Published in: Arch. Formal Proofs (2016)

Keyphrases

neural network
multiscale
cooperative
preprocessing
real world
information retrieval
learning algorithm
artificial intelligence
e learning
image processing
trade off
domain knowledge