Login / Signup
Lissom, a Source Level Proof Carrying Code Platform
João Gomes
Daniel Martins
Simão Melo de Sousa
Jorge Sousa Pinto
Published in:
CoRR (2008)
Keyphrases
</>
higher level
machine learning
source code
levels of abstraction
real time
search algorithm
data sets
artificial intelligence
knowledge base
multiscale
expert systems
lower level