Results 281 to 290 of about 20,008 (316)
Some of the next articles are maybe not open access.
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
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
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
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
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
Fundamentals of agent computation theory: semantics.
2001© 2011 Dr. David Nicholas Kinny ; About 5 years ago, the idea of software agents escaped from an obscure existence within the arcane field of Artificial Intelligence, and it is now running rampant through computer science, the software industry and the media, mutating violently as it goes and infecting many who come into contact with it. Despite humble
openaire +1 more source
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
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, 1999
A multi-stage computation is one involving more than one stage of execution. MetaML is a language for programming multi-stage computations. Previous studies presented big-step semantics, categorical semantics, and sound type systems for MetaML. In this paper, we report on a confluent and sound reduction semantics for untyped call-by name (CBN) MetaML ...
openaire +1 more source
A multi-stage computation is one involving more than one stage of execution. MetaML is a language for programming multi-stage computations. Previous studies presented big-step semantics, categorical semantics, and sound type systems for MetaML. In this paper, we report on a confluent and sound reduction semantics for untyped call-by name (CBN) MetaML ...
openaire +1 more source