Reasoning about Translation Lookaside Buffers.

Hira Taqdees Syeda Gerwin Klein

Published in: LPAR (2017)

Keyphrases

machine translation
query translation
qualitative reasoning
cross language information retrieval
formal theory
real time
decision making
objective function
practical reasoning
information systems
multi agent
multistage
production system