Certifying Machine Code Safety: Shallow Versus Deep Embedding.

Martin Wildmoser Tobias Nipkow

Published in: TPHOLs (2004)

Keyphrases

source code
question answering
vector space
information extraction
data sets
parallel machines
binary codes
natural language processing
similarity search
wall street journal
machine learning
information retrieval
learning algorithm
artificial intelligence
case study
deep learning