Results 131 to 140 of about 4,264 (168)
Some of the next articles are maybe not open access.
Computational Semantics of Cartesian Cubical Type Theory
2021Dependent type theories are a family of logical systems that serve as expressive functional programming languages and as the basis of many proof assistants. In the past decade, type theories have also attracted the attention of mathematicians due to surprising connections with homotopy theory; the study of these connections,known as homotopy type ...
openaire +1 more source
REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES
Kybernetes, 1978Theories of computation related to the semantics of programming languages, like those of McCarthy and Scott, rely on non‐constructive mathematical “ideas.” Turing's theory does not assume any mathematical “ideas.” In the approaches of Floyd, McCarthy and Scott the attempt is to develop a general theory of “meaning of programs” and then to consider the ...
openaire +1 more source
Type theory based semantic verification for service composition in cloud computing environments
Information Sciences, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Changqin Huang +2 more
openaire +1 more source
A Computational Trust Model for Semantic Web Based on Bayesian Decision Theory
2006Enabling trust to ensure more effective and efficient agent interaction is at the heart of the Semantic Web vision. We propose a computational trust model based on Bayesian decision theory in this paper. Our trust model combines a variety of sources of information to assist users with making correct decision in choosing the appropriate providers ...
Xiaoqing Zheng +3 more
openaire +1 more source
International Conference on Fuzzy Systems, 2010
The development of Internet technologies makes it possible to obtain data in near real time about the financial state of companies. Moreover, tools such as XBRL have been developed to deal with the automatic generation of business reports. However the available tools are not suitable to support the current tendency towards the so called, Continuous ...
Sheila Méndez Núñez +1 more
openaire +1 more source
The development of Internet technologies makes it possible to obtain data in near real time about the financial state of companies. Moreover, tools such as XBRL have been developed to deal with the automatic generation of business reports. However the available tools are not suitable to support the current tendency towards the so called, Continuous ...
Sheila Méndez Núñez +1 more
openaire +1 more source
Language Theory for the Computer: Monodimensional Semantics or Multidimensional Semiotics?
KNOWLEDGE ORGANIZATION, 1996Computer linguistics continues to be in need of an integrative language-theory model. Maria Theresia Rolland proposes such a model in her book ,,Sprachverarbeitung durch Logotechnik (1994). Relying upon the language theory of Leo Weisgerber, she pursues a pure ,,content oriented approach, by which she understands an approach in terms of the semantics ...
openaire +1 more source
Psychotherapy Research, 2011
We propose a theory-neutral, computational and data-driven method for assessing changes in semantic content of object representations following long-term psychodynamic psychotherapy. Young adults in psychotherapy are compared with an age-matched, non-clinical sample at three time points. Verbatim transcripts of descriptions of the self and parents were
David, Arvidsson +2 more
openaire +2 more sources
We propose a theory-neutral, computational and data-driven method for assessing changes in semantic content of object representations following long-term psychodynamic psychotherapy. Young adults in psychotherapy are compared with an age-matched, non-clinical sample at three time points. Verbatim transcripts of descriptions of the self and parents were
David, Arvidsson +2 more
openaire +2 more sources
Language and Speech, 1971
This paper explores the basis for semantic interpretation of naturally occurring English discourse. Findings concerning linguistic analysis of discourse by computer and the child's language imply the necessity of distinguishing between language and the use of language.
openaire +2 more sources
This paper explores the basis for semantic interpretation of naturally occurring English discourse. Findings concerning linguistic analysis of discourse by computer and the child's language imply the necessity of distinguishing between language and the use of language.
openaire +2 more sources
1999
Rough mereology is a paradigm allowing for a synthesis of main ideas of two potent paradigms for reasoning under uncertainty: fuzzy set theory and rough set theory. In this work, we demonstrate applications of rough mereology to the important theoretical ideas put forth by Lotfi Zadeh [9], [10]: Granularity of Knowledge and Computing with Words.
Lech Polkowski, Andrzej Skowron
openaire +1 more source
Rough mereology is a paradigm allowing for a synthesis of main ideas of two potent paradigms for reasoning under uncertainty: fuzzy set theory and rough set theory. In this work, we demonstrate applications of rough mereology to the important theoretical ideas put forth by Lotfi Zadeh [9], [10]: Granularity of Knowledge and Computing with Words.
Lech Polkowski, Andrzej Skowron
openaire +1 more source
Application of Computational Theory of Semantic Interpretation to Detect Cybercrime
2023 Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM), 2023Yury Vishnyakov, Renat Vishnyakov
openaire +1 more source