Results 31 to 40 of about 39,363,930 (284)
Semantic communications, semantic edge computing, and semantic caching
CoRR, 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.
Wenhan Yu, Jun Zhao 0007
openaire +3 more sources
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Comparative Constructions in Zhoutun from a Language Contact Perspective
Languages, 2023 The paper describes comparative constructions in Zhoutun, a Chinese variety that was heavily influenced by Amdo Tibetan and spoken in Guide County, Qinghai Province. There are five comparative constructions (Cxn), based on the type of comparative marker,
Chenlei Zhou
doaj +1 more source
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +1 more source
Semantic Processing of the Semantic Web [PDF]
, 2003 We develop a semantics based approach to process information on the semantic web. We show how Horn logic can be used to denotationally capture the semantics of mark-up languages designed for describing resources on the semantic web (such as RDF). The same approach can also be used to specify the semantics of query languages for the semantic web.
Kunal Patel, Gopal Gupta 0001
openaire +2 more sources
Game semantics for nominal exceptions [PDF]
, 2014 We present a fully abstract denotational model for a higher-order programming language combining call-by-value evaluation and local exceptions. The model is built using nominal game semantics and is the first one to achieve both effective presentability ...
Tzevelekos, Nikos +3 more
core +1 more source
Putting Semantics into Semantic Roles [PDF]
Proceedings of the Seventh Joint Conference on Lexical and
Computational Semantics, 2018 While there have been many proposals for theories of semantic roles over the years, these models are mostly justified by intuition and the only evaluation methods have been inter-annotator agreement. We explore three different ideas for providing more rigorous theories of semantic roles.
James F. Allen, Choh Man Teng 0001
openaire +1 more source
Modular Semantics for Object-Oriented Models [PDF]
, 1998 This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing ...
Howse, John +5 more
core +1 more source
Data dependencies and program slicing: from syntax to abstract semantics [PDF]
, 2008 We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program ...
Damiano Zanardini +4 more
core +1 more source
A thread-tag based semantics for sequence diagrams [PDF]
, 2007 The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software.
Dan, H +5 more
core +1 more source