Results 281 to 290 of about 612,429 (319)
Some of the next articles are maybe not open access.
IEEE Multimedia, 2009
The article presents a theoretical approach to semantics that embraces the complex and challenging problems associated with authoring multimedia albums.
Ansgar Scherp, Ramesh C. Jain
openaire +1 more source
The article presents a theoretical approach to semantics that embraces the complex and challenging problems associated with authoring multimedia albums.
Ansgar Scherp, Ramesh C. Jain
openaire +1 more source
Journal of Philosophical Logic, 1993
\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\).
Edwin D. Mares, Robert K. Meyer
openaire +2 more sources
\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\).
Edwin D. Mares, Robert K. Meyer
openaire +2 more sources
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +1 more source
Journal of Logic and Computation, 2005
Summary: This is a continuation of a paper in which the role of types in semantic theory was explored. Inevitably, in that paper some issues in type theory and semantics were treated only in passing. In particular, little was said about Stratified Type Theories. This paper concentrates on these theories and provides a theoretical framework for semantic
openaire +1 more source
Summary: This is a continuation of a paper in which the role of types in semantic theory was explored. Inevitably, in that paper some issues in type theory and semantics were treated only in passing. In particular, little was said about Stratified Type Theories. This paper concentrates on these theories and provides a theoretical framework for semantic
openaire +1 more source
The Semantics of Semantics in Language Processing
2009In speech and language research, the semantics of an utterance always corresponds to the meaning of the utterance. Meaning however, is a concept that has been argued by philosophers for centuries, so in Language Processing, semantics has come to be used very differently in different applications.
openaire +1 more source
Personal Technologies, 2000
Mobile web-services often use location information for service customisation. Most such services operate on the user’s physical/geographical location. Unfortunately, such common forms of location carry little context information. In the CoolTown project at HP Labs, we have addressed this deficiency by defined an orthogonal form of location – Semantic ...
openaire +1 more source
Mobile web-services often use location information for service customisation. Most such services operate on the user’s physical/geographical location. Unfortunately, such common forms of location carry little context information. In the CoolTown project at HP Labs, we have addressed this deficiency by defined an orthogonal form of location – Semantic ...
openaire +1 more source
Semantic Authoring and Semantic Computing
2007Semantic Computing is to design and operate information systems based on meaning and vocabulary shared by people and computers. It aims at closing the semantic gap, thus enabling closer cooperation between people and information systems, and thereby semantically enriching our life-world.
openaire +1 more source
Journal of Philosophical Logic, 2010
This paper is a contribution to ``inferentialism, a doctrine that the meaning of an expression is generally in its inferential role''. In order to sort out problems in inferentialism, the author offers a ``very general framework for measuring inferentializability of semantic systems''.
openaire +2 more sources
This paper is a contribution to ``inferentialism, a doctrine that the meaning of an expression is generally in its inferential role''. In order to sort out problems in inferentialism, the author offers a ``very general framework for measuring inferentializability of semantic systems''.
openaire +2 more sources
‘Is’, Semantical Games, and Semantical Relativity
1983If there is a doctrine shared by almost all analysts of the semantics of natural language in these days, it is the distinction between the different senses of “is”: the “is” of predication, the “is” of identity, and the “is” of existence. The “is” of predication is often called the copula.
openaire +1 more source
Cognitive Semantics and the Semantic Web
2004non ...
BURRAFATO, Piermarco +3 more
openaire +3 more sources