Results 21 to 30 of about 2,243,395 (337)
The MMT API: A Generic MKM System [PDF]
, 2013 The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM ...
F. Horozal +7 more
core +1 more source
Machine Translation: Phrase-Based, Rule-Based and Neural Approaches with Linguistic Evaluation
Cybernetics and Information Technologies, 2017 In this article we present a novel linguistically driven evaluation method and apply it to the main approaches of Machine Translation (Rule-based, Phrase-based, Neural) to gain insights into their strengths and weaknesses in much more detail than ...
Macketanz Vivien +4 more
doaj +1 more source
Oralidade e discurso jornalístico
Filologia e Linguística Portuguesa, 1999 The purpose of this papers is to observe how the oralidade is present in the written speech, falling back upon the journalistic language, much more receptive to those transformations and exemplifying with picked up texts of the newspapers Folha de S ...
Maria Lúcia da Cunha Victório de Oliveira Andrade
doaj +1 more source
FLAX: Flexible and open corpus-based language collections development [PDF]
, 2015 In this case study we present innovative work in building open corpus-based language collections by focusing on a description of the opensource multilingual Flexible Language Acquisition (FLAX) language project, which is an ongoing example of open ...
Fitzgerald +4 more
core +2 more sources
High-level methodologies for grammar engineering, introduction to the special issue
Journal of Language Modelling, 2015 Grammar Engineering is the task of designing and implementing linguistically motivated electronic descriptions of natural language (so-called grammars).
Denys Duchier, Yannick Parmentier
doaj +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
, 2014 Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.
Júnior, Valdivino Alexandre de Santiago +2 more
core +2 more sources
Journal of Integrative Bioinformatics, 2004 Successful biomedical data mining and information extraction require a complete picture of biological phenomena such as genes, biological processes, and diseases; as these exist on different levels of granularity.
Verschelde Jean-Luc +4 more
doaj +1 more source
The Critical Survey of Evolution in Common Persian Slang Lexicography “By Emphasizing on Twelve Common Persian Slang Lexicons” [PDF]
پژوهشنامۀ انتقادی متون و برنامههای علوم انسانی, 2021 From Ghaghara era up to now, around 60 lexicons gathered but unawareness to methods and configuration of methods in micro and major structure for lexicography, the old approach to slang, low vision to slang in comparison with formal language, fear of ...
Ghodsie Rezvanian +2 more
doaj +1 more source
Investigating and Translating Formality in English Legal Texts into Arabic
مجلة الآداب, 2021 Legal language is an unusual type of language which raises the interest of many people. It is considered to be one of the discourses that prefer traditional styles and values. Moreover, using this language is confined to specific places and circumstances,
Sameer Salih Mahdi Al-Dahwi
doaj +1 more source