Annotated Multisemantics To Prove Non-Interference Analyses.

Gurvan Cabon Alan Schmitt

Published in: PLAS@CCS (2017)

Keyphrases

database
manually annotated
artificial intelligence
information retrieval
decision trees
multiscale
digital libraries
image data
statistical analysis
end to end
error analysis
annotated corpus