Results 1 to 10 of about 1,118,469 (206)
On the Unification of Process Semantics: Logical Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In Proceedings SOS 2011, arXiv:1108 ...
Romero Hernández, David +1 more
openaire +8 more sources
Putting the semantics into semantic versioning [PDF]
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2020 to be published as Onward!
Patrick Lam +2 more
openaire +3 more sources
Biomedical semantics in the Semantic Web [PDF]
Journal of Biomedical Semantics, 2011 Abstract The Semantic Web offers an ideal platform for representing and linking biomedical information, which is a prerequisite for the development and application of analytical tools to address problems in data-intensive areas such as systems biology and translational medicine. As for any new paradigm, the adoption of the Semantic Web offers
Splendiani, A. +4 more
openaire +3 more sources
Semantic Relevance and Semantic Disorders [PDF]
Journal of Cognitive Neuroscience, 2004 Abstract Semantic features are of different importance in concept representation. The concept elephant may be more easily identified from the feature <trunk> than from the feature <four legs>. We propose a new model of semantic memory to measure the relevance of semantic features for a concept and use this ...
SARTORI, GIUSEPPE, LOMBARDI L.
openaire +5 more sources
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]
, 1996 A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core +7 more sources
The Semantics of Semantic Annotation [PDF]
, 2002 Semantic metadata will playa significant role in the provision of the Semantic Web. Agents will need metadata that describes the content of resources in order to perform operations, such as retrieval, over those resources. In addition, if rich semantic metadata is supplied, those agents can then employ reasoning over the metadata, enhancing their ...
Bechhofer, Sean +4 more
openaire +4 more sources
On the Semantics of a Semantic Network [PDF]
Fundamenta Informaticae, 1998 We elaborate on the semantics of an enhanced object-oriented semantic network, where multiple instantiation, multiple specialization, and meta-classes are supported for both kinds of objects: entities and properties. By semantics of a semantic network, we mean the information (both explicit and derived) that the semantic network carries.
ConstantopoulosPanos +2 more
openaire +3 more sources
The Morpho-Semantics of Spanish Indefinites [PDF]
, 2016 I analyze the Spanish indefinites algún and algunos as a paucal and a greater paucal determiner, respectively, contrary to the common assumption that views the former as singular and the latter as plural.
MARTI MARTINEZ, ML +1 more
core +2 more sources
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
, 2017 This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework ...
Lewis, Karen S.
core +1 more source