Results 41 to 50 of about 3,466,686 (190)
Observations on the Intertextuality of Selected Abhidharma Texts Preserved in Chinese Translation
Religions, 2023 Textual reuse is a fundamental characteristic of traditional Buddhist literature preserved in various languages. Given the sheer volume of preserved Buddhist literature and the often-unmarked instances of textual reuse, the thorough analysis and ...
Sebastian Nehrdich
doaj +1 more source
On the Study of Softwares of Computer-Aided Translation (CAT)
Advanced Materials Research, 2013 In the current information age, computer-aided translation (CAT) is gaining greater concern and appreciation of translators. In this paper some widely employed softwares will be briefly introduced in terms of transformation from machine translation (MT) to CAT.
Changhong Zhai, Wanfang Zhang
openaire +1 more source
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019 [PDF]
, 2019 Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties / by Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier (p.
Formal Methods in Computer Aided Design
core
JoSTrans: The Journal of Specialised Translation, 2019 This paper reports on a workplace study of industrial practices at a large Danish Language Service Provider and is concerned with how seven translators interact with a translation tool when post-editing translation proposals in an environment that ...
Kristine Bundgaard +1 more
doaj +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]
, 2018 October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core
Informatics, 2019 Commercial software tools for translation have, until now, been based on the traditional input modes of keyboard and mouse, latterly with a small amount of speech recognition input becoming popular.
Carlos S. C. Teixeira +4 more
doaj +1 more source
Using computer‐based tests for information science [PDF]
, 1997 Computer‐based tests have been used extensively in the Department of Information Science at the University of Portsmouth, both for end‐of‐course examinations and continuous assessment.
King, Terry +3 more
core +1 more source
La localización de webs dinámicas: objetos, métodos, presente y futuro
JoSTrans: The Journal of Specialised Translation, 2014 Over the last decade, dynamic websites (which are structurally much more complex than traditional static websites, with localisable content scattered in many more files and databases) have grown exponentially, mainly due to specialised Web Content ...
Jesús Torres-del-Rey +1 more
doaj +1 more source
ILCEA, 2016 The great variety and diversity of translation technologies at the translator’s disposal has had a tremendous impact on his/her activity over the past twenty years and the translator’s environment has now become more and more fully integrated (e.g ...
Cécile Frérot, Lionel Karagouch
doaj +1 more source
Computer-Aided Translation in Student’s Practical Translation Competence [PDF]
Advances in Social Science, Education and Humanities Research, 2014 computer-aided translation system is now used in teaching process to achieve student's practical translation skills training through man-machine interaction translation platform, translation memory, and translation instance mode. Meanwhile, the mode of the division of labor in the translation project can also be employed to train student's cooperative ...
openaire +1 more source