Login / Signup
From high-level radio protocol specifications to efficient low-level implementations via partial evaluation.
Geoffrey Mainland
Siddhanathan Shanmugam
Published in:
FHPC@ICFP (2017)
Keyphrases
</>
high level
low level
partial evaluation
higher level
lightweight
explanation based generalization
low level features
artificial intelligence
lower level
mid level
database
visual features
domain knowledge
knowledge acquisition