Keyword:translation

Papers
Live Text Translator Application-Convert Text Live Using Camera Hritik Chaudhary, Divya Dixit and Rishav Raj Singh EasyChair Preprint no. 5343
Interpretation and Translation in Policy Implementation Anne Mette Moller EasyChair Preprint no. 1082
Automated Theorem Proving by Translation to Description Logic Negin Arhami and Geoff Sutcliffe EasyChair Preprint no. 126
Translating False and Fickle Anglicisms in Modern Spanish Andrew Walsh In:Professional and Academic Discourse: an Interdisciplinary Perspective
Toward the Elaboration of a Spanish-Chinese Parallel Annotated Corpus Shuyuan Cao, Iria Da-Cunha and Mikel Iruskieta In:Professional and Academic Discourse: an Interdisciplinary Perspective
A Clausal Normal Form Translation for FOOL Evgenii Kotelnikov, Laura Kovács, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Automated Theorem Proving by Translation to Description Logic Negin Arhami and Geoff Sutcliffe In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations