Results 91 to 100 of about 1,118,469 (206)
Semantic communications, semantic edge computing, and semantic caching
, 2023 The increasing popularity of applications like the Metaverse has led to the exploration of new, more effective ways of communication. Semantic communication, which focuses on the meaning behind transmitted information, represents a departure from traditional communication paradigms.
Yu, Wenhan, Zhao, Jun
openaire +2 more sources
, 1993 We describe a trace semantics of exceptions and then derive a weakest precondition semantics. A program that contains exceptions terminates in one of two possible ways (if it terminates at all): either it terminates exceptionally or it terminates ...
Leino, K. Rustan M. +1 more
core +2 more sources
, 2006 In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can be boiled down to one fundamental operation: computing the similarity and?or dissimilarity among ontological entities, and in some cases among ontologies themselves. In this paper, we review standard
Hu, Bo +5 more
openaire +3 more sources
Belief Semantics of Authorization Logic [PDF]
arXiv, 2013 Authorization logics have been used in the theory of computer security to reason about access control decisions. In this work, a formal belief semantics for authorization logics is given. The belief semantics is proved to subsume a standard Kripke semantics.
arxiv
Semantic Interoperability of Heterogeneous Semantic Resources
Electronic Notes in Theoretical Computer Science, 2006 AbstractThis paper presents a three-step approach to enhance interoperability between heterogeneous se- mantic resources. Firstly, we construct homogeneous representations of these resources in a pivot format, namely OWL DL, with respect to the semantics expressed by the original representation languages.
Ferreira da Silva, Catarina +5 more
openaire +4 more sources
LTAG semantics for questions [PDF]
, 2004 This papers presents a compositional semantic analysis of interrogatives clauses in LTAG (Lexicalized Tree Adjoining Grammar) that captures the scopal properties of wh- and nonwh-quantificational elements.
Babko-Malaya, Olga +2 more
core
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]
, 1997 An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco +4 more
core +1 more source
Semantic Measures for the Comparison of Units of Language, Concepts or Instances from Text and Knowledge Base Analysis [PDF]
arXiv, 2013 Semantic measures are widely used today to estimate the strength of the semantic relationship between elements of various types: units of language (e.g., words, sentences, documents), concepts or even instances semantically characterized (e.g., diseases, genes, geographical locations).
arxiv
Semantics and pragmatics [PDF]
WIREs Cognitive Science, 2013 AbstractThe fields of semantics and pragmatics are devoted to the study of conventionalized and context‐ or use‐dependent aspects of natural language meaning, respectively. The complexity of human language as a semiotic system has led to considerable debate about how the semantics/pragmatics distinction should be drawn, if at all.
openaire +4 more sources
Success semantics: the sequel [PDF]
, 2013 The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief.
Nanay, Bence
core