Results 51 to 60 of about 1,203,304 (231)
Success semantics: the sequel [PDF]
, 2013 The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief.
Nanay, Bence
core
Quantitative Automata under Probabilistic Semantics
, 2019 Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions,
Chatterjee, Krishnendu +2 more
core +1 more source
Explicit fairness in testing semantics [PDF]
, 2009 In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
Catuscia Palamidessi +6 more
core +4 more sources
Proceedings of the 2006 international symposium on Wikis, 2006 Wikipedia is the world's largest collaboratively edited source of encyclopaedic knowledge. But its contents are barely machine-interpretable. Structural knowledge, e. g. about how concepts are interrelated, can neither be formally stated nor automatically processed.
Haller, H +3 more
openaire +1 more source
Initial Semantics for Reduction Rules [PDF]
, 2019 We give an algebraic characterization of the syntax and operational semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed syntax with variable binding and equipped with reduction rules via a universal ...
Ahrens, Benedikt
core +2 more sources
Mathematics, 2020 Mathematical modeling of language in Artificial Intelligence is of the utmost importance for many research areas and technological applications. Over the last decade, research on text representation has been directed towards the investigation of dense ...
Mauricio Toledo-Acosta +7 more
doaj +1 more source
Semantic Layers « shafaat» in the Quran [PDF]
تحقیقات علوم قرآن و حدیث, 2018 One of the most important notions in the Qur'an is the word “Shafāʽah” (Intercession) that causes the reflection and in-depth pondering of any Qur’anic scholars.
Mahdi Hasanzadeh +2 more
doaj +1 more source
LTAG semantics for questions [PDF]
, 2004 This papers presents a compositional semantic analysis of interrogatives clauses in LTAG (Lexicalized Tree Adjoining Grammar) that captures the scopal properties of wh- and nonwh-quantificational elements.
Babko-Malaya, Olga +2 more
core
, 2019 In this work, we demonstrate yet another approach to tackle the amodal segmentation problem. Specifically, we first introduce a new representation, namely a semantics-aware distance map (sem-dist map), to serve as our target for amodal segmentation ...
Chen, Anpei +4 more
core +1 more source
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