Results 1 to 10 of about 1,038,022 (203)
arXiv: Programming Languages, 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 +6 more sources
On the Unification of Process Semantics: Logical Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear time-branching time spectrum developed by R.J. van Glabbeek.
David Romero-Hernández +1 more
doaj +8 more sources
Cadernos de Linguística, 2021 For long-term upscaling, the computational reconstruction of a complex natural mechanism must be input-output equivalent with the prototype, i.e. the reconstruction must take the same input and produce the same output in the same processing order as the
Roland Hausser
doaj +2 more sources
Philosophical Semantics and Linguistic Semantics [PDF]
Cahier de linguistique, 1973 Myrna Gopnik
openalex +4 more sources
Digital Studies, 2021 In Digital Humanities the task of “text modelling” has been recognised and successfully treated in the last decades. But indeed every use of digital text processing software, even the most naive one, is already a kind of text modelling activity.
Baltasar Trancón y Widemann +1 more
doaj +2 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
Using logical constraints to validate statistical information about disease outbreaks in collaborative knowledge graphs: the case of COVID-19 epidemiology in Wikidata [PDF]
PeerJ Computer Science, 2022 Urgent global research demands real-time dissemination of precise data. Wikidata, a collaborative and openly licensed knowledge graph available in RDF format, provides an ideal forum for exchanging structured data that can be verified and consolidated ...
Houcemeddine Turki +10 more
doaj +2 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