Results 81 to 90 of about 1,118,469 (206)
An overview of Generalised Veltman Semantics [PDF]
arXiv, 2020 Interpretability logics are endowed with relational semantics \`a la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of generalised Veltman semantics emerged to obtain certain non-derivability results as was first presented by Verbrugge ...
arxiv
On the Unification of Process Semantics: Observational Semantics [PDF]
, 2009 The complexity of parallel systems has produced a large collection of semantics for processes. Van Glabbeek’s linear time-branching time spectrum provides a classification of most of these semantics; however, no suitable unified definitions were available.
Frutos Escrig, David De +2 more
openaire +4 more sources
Frontiers in ImagingIntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit +9 more
doaj +1 more source
A Meaning-oriented Approach to Semantic Data Modeling [PDF]
arXiv, 2016 Semantic information is often represented as the entities and the relationships among them with conventional semantic models. This approach is straightforward but is not suitable for many posteriori requests in semantic data modeling. In this paper, we propose a meaning-oriented approach to modeling semantic data and establish a graph-based semantic ...
arxiv
Formal Component-Based Semantics [PDF]
, 2011 One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses.
Bas Spitters +15 more
core +4 more sources
Altered Hemispheric Asymmetry of Functional Hierarchy in Schizophrenia
Brain SciencesBackground/Objectives: Schizophrenia is a severe psychiatric disorder characterized by deficits in perception and advanced cognitive functions. Prior studies have reported abnormal lateralization in cortical morphology and functional connectivity in ...
Yi Zhen +5 more
doaj +1 more source
Catalan Journal of Linguistics, 2015 Presentation of the volume.
Martines Peres, Josep +1 more
openaire +7 more sources
MathematicsMultisource and multimodal data fusion plays a pivotal role in large-scale artificial intelligence applications involving big data. However, the choice of fusion strategies for different scenarios is often based on experimental comparisons, which leads ...
Ziqi Liu +4 more
doaj +1 more source
POMDPs under Probabilistic Semantics
, 2014 We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated to every transition, and the payoff of an infinite path is the long-run average of the rewards.
Chatterjee, Krishnendu, Chmelik, Martin
core +1 more source
On phase semantics and denotational semantics: the exponentials
Annals of Pure and Applied Logic, 2001 AbstractWe extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system.
Ehrhard, Thomas, Bucciarelli, Antonio
openaire +4 more sources