Login / Signup
Formal Replay of Translation Validation for Highly Optimised C.
Thomas Sewell
Published in:
VPT@CAV (2014)
Keyphrases
</>
formal model
machine translation
cross language information retrieval
decision making
multiresolution
databases
genetic algorithm
information systems
image segmentation
optimal solution
artificial neural networks
language model
formal specification
query translation
translation model