Results 61 to 70 of about 39,536,715 (344)
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
Semantics Disentangling for Text-To-Image Generation [PDF]
Computer Vision and Pattern Recognition, 2019 Synthesizing photo-realistic images from text descriptions is a challenging problem. Previous studies have shown remarkable progresses on visual quality of the generated images.
Guojun Yin +5 more
semanticscholar +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
Semantic Kernels for Semantic Parsing [PDF]
Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2014 We present an empirical study on the use of semantic information for Concept Segmentation and Labeling (CSL), which is an important step for semantic parsing. We represent the alternative analyses output by a state-of-the-art CSL parser with tree structures, which we rerank with a classifier trained on two types of semantic tree kernels: one processing
Iman Saleh +4 more
openaire +3 more sources
Tailored Semantic Annotation for Semantic Search [PDF]
SSRN Electronic Journal, 2015 This paper presents a novel method for semantic annotation and search of a target corpus using several knowledge resources (KRs). This method relies on a formal statistical framework in which KR concepts and corpus documents are homogeneously represented using statistical language models.
Rafael Berlanga Llavori +2 more
openaire +3 more sources