Results 241 to 250 of about 133,469 (284)

Sub Quantum Semantic Collapse (SSC) : A Foundational Computational Paradigm Beyond Quantum Theory. (IEEE)

openaire   +2 more sources

Sub Quantum Semantic Collapse (SSC) : A Unified Computational Framework Beyond Quantum Theory. (IEEE)

openaire   +2 more sources

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)
openaire  

Some of the next articles are maybe not open access.

Related searches:

Semantic Space Theory: A Computational Approach to Emotion

Trends in Cognitive Sciences, 2021
Within affective science, the central line of inquiry, animated by basic emotion theory and constructivist accounts, has been the search for one-to-one mappings between six emotions and their subjective experiences, prototypical expressions, and underlying brain states. We offer an alternative perspective: semantic space theory.
Alan S. Cowen, Dacher Keltner
openaire   +2 more sources

Semantic relation computing theory and its application

Journal of Network and Computer Applications, 2016
Semantic relations among objects are primary semantic factors, which play the most important role for human and smart systems /machines to understand and control the situation in the context of connected systems. However, few existing works focus on the study of semantic relations from the mathematical view, though it would be the basis for further ...
Yunchuan Sun, Cheng Lu, Rongfang Bie, Junsheng Zhang   +3 more
openaire   +1 more source

Theory for Semantic Relation Computing and its Application in Semantic Link Network

2012 Eighth International Conference on Semantics, Knowledge and Grids, 2012
Semantic relation among different objects is one of the most important kinds of semantics which plays the primary role for people and intelligent systems in grasping the situation accurately in the context of connected systems. The semantic relations are viewed as the most important elements in most existing information models (such as ER model, RDF ...
Yunchuan Sun, Cheng Lu, Hongli Yan, Rongfang Bie   +3 more
openaire   +1 more source

Computational Semantics of Cartesian Cubical Type Theory

2021
Dependent 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, 1978
Theories 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, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Changqin Huang, Xizhe Wang, Dianhui Wang 0001   +2 more
openaire   +1 more source

Combining Semantic Web technologies and Computational Theory of Perceptions for text generation in financial analysis

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, Gracián Triviño   +1 more
openaire   +1 more source