Login / Signup
Verifying Programs via Intermediate Interpretation.
Alexei P. Lisitsa
Andrei P. Nemytykh
Published in:
CoRR (2017)
Keyphrases
</>
intermediate level
image interpretation
real time
model checking
databases
prolog programs
fixpoint
multiresolution
case study
high level
multiscale
optimal solution
multi agent systems
web services
hidden markov models
low level
knowledge base
learning algorithm
information retrieval
real world
neural network