Results 31 to 40 of about 1,307,657 (201)
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source
Case in Formal Semantics [PDF]
, 2012 AbstractCase has not received a lot of attention from formal semanticists, probably because the approach has mostly focused on languages with relatively sparse case systems. This article examines how formal tools are being used in the study of the meaning of case. There are many semantic aspects of case that lend themselves to such a treatment, such as
Hoop, H. de, Zwarts, J.
openaire +2 more sources
Conformance theory development: semantics, formal models, algorithms
Труды Института системного программирования РАН, 2018 The paper covers theoretical and practical works on conformance testing performed in ISP RAS since 1994 till now. The conformance theory development was done in various directions and, in the whole, was characterized by generalization of the interaction ...
Igor Burdonov, Alexander Kossatchev
doaj +1 more source
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
IEEE Access, 2019 Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Yanhong Huang +5 more
doaj +1 more source
Networked Language Communities: From Constructed Languages to Natural Languages
Гуманитарный вектор, 2022 Activities for the preservation and development of ethnic minority languages are considered as the most important part of the actions to preserve the cultural heritage of the peoples inhabiting the Russian Federation.
Marat N. Chistanov
doaj +1 more source
Computers, 2022 This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance before expending ...
Seyed Hossein Haeri +5 more
doaj +1 more source
International Workshop on Semantic Evaluation, 2014 Shared Task 1 of SemEval-2014 comprised two subtasks on the same dataset of sentence pairs: recognizing textual entailment and determining textual similarity.
Johannes Bjerva +3 more
semanticscholar +1 more source
Formalization of BPMN Gateways using the DD-LOTOS Formal Language
Journal of Communications Software and Systems, 2023 Business Process Model and Notation (BPMN), is a standardized graphical language used for the graphical modeling of business processes. A BPMN model is composed of several small graphs called elements; these elements make it possible to describe the ...
Toufik Messaoud Maarouk +3 more
doaj +1 more source
Towards a Coq-verified Chain of Esterel Semantics [PDF]
Leibniz Transactions on Embedded SystemsThis article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj +1 more source
Glossa, 2017 In this paper, we offer some preliminary remarks on the syntax-semantics of the nominal system in Cape Verdean (CV) in comparison to English, with the aim of having a better understanding of Number Neutral Languages (Chierchia 2010; 2015).
Jair Martins, Roberta Pires de Oliveira
doaj +2 more sources