HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.