Results 31 to 40 of about 2,393,512 (361)
High-level methodologies for grammar engineering, introduction to the special issue
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
Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
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
Oralidade e discurso jornalístico
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
Investigating and Translating Formality in English Legal Texts into Arabic
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
Infinite Words and Morphic Languages Formalized in Isabelle/HOL [PDF]
We present a formalization of basics related to infinite words in the generic proof assistant Isabelle/HOL. Furthermore, we present a formalization of purely morphic and morphic languages. Finally, we present a formalized definition of Sturmian words as lower mechanical words and prove some very elementary facts.
arxiv
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
Algebraic Dynamic Programming on Trees
Where string grammars describe how to generate and parse strings, tree grammars describe how to generate and parse trees. We show how to extend generalized algebraic dynamic programming to tree grammars.
Sarah J. Berkemer+2 more
doaj +1 more source
In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages [PDF]
Multilingual generative language models (LMs) are increasingly fluent in a large variety of languages. Trained on the concatenation of corpora in multiple languages, they enable powerful transfer from high-resource languages to low-resource ones. However, it is still unknown what cultural biases are induced in the predictions of these models.
arxiv
The role of early language abilities on math skills among Chinese children. [PDF]
The present study investigated the role of early language abilities in the development of math skills among Chinese K-3 students. About 2000 children in China, who were on average aged 6 years, were assessed for both informal math (e.g., basic number ...
Juan Zhang+5 more
doaj +1 more source
Penyimpangan Ortografi Bahasa Jawa pada Media Sosial Instagram
Language deviations can seriously impact language rules and norms. Language deviations in non-formal texts can impact the production of formal texts. This study attempts to examine the orthographic deviations of the Javanese language in non-formal texts ...
Sabbihisma Debby Satiti+1 more
doaj +1 more source