Results 261 to 270 of about 2,003,896 (299)
Some of the next articles are maybe not open access.
Context and Context Management
2019The user and user requirements are the main important concerns to design a pervasive computing system. The context of a user or device is another essential element in designing a context-aware pervasive computing system. This chapter is focused on what is the context, the variety of contexts, and the impact of that context information in developing a ...
Parikshit N. Mahalle, Prashant S. Dhotre
openaire +1 more source
Fundamenta Informaticae, 1995
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +3 more sources
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +3 more sources
Context of Utterance and Intended Context
2001In this paper I expose and criticise the distinction between pure indexicals and demonstratives, held by David Kaplan and John Perry. I oppose the context of material production of the utterance to the "intended context" (the context of interpretation, i.e.
openaire +2 more sources
Higher-Order and Symbolic Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1996
In this paper a generic framework inspired by [LX90] is presented for the validation of reactive systems embedded in a test environment, or isolated from their operational environment, thereby inducing a natural classification of validation strategies in different scenarios.
Heerink, L., Brinksma, E.
openaire +3 more sources
In this paper a generic framework inspired by [LX90] is presented for the validation of reactive systems embedded in a test environment, or isolated from their operational environment, thereby inducing a natural classification of validation strategies in different scenarios.
Heerink, L., Brinksma, E.
openaire +3 more sources
In the Context of Infinite Contexts
PMLA/Publications of the Modern Language Association of America, 2015Around the time I realized that I would be spending the better part of my twenties in graduate school, I saw an episode of theSimpsonsthat had an embarrassingly profound effect on me. The episode's conceit was alluringly simple: What would happen if the city of Springfield was entrusted to its smartest citizens rather than to politicians or bureaucrats?
openaire +1 more source
The Context of Context Effects
Applied Measurement in Education, 1992The principal purpose of this article is to provide a conceptual framework and heuristic model for considering the existence, magnitude, and consequences of context effects. This purpose is addressed through an extension of some concepts in generalizability theory.
openaire +1 more source
2011
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +3 more sources
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +3 more sources
Moving Contexts Onto New Roads: Clues From Other Disciplines
Entrepreneurship Theory and Practice, 2021Friederike Welter, Ted Baker
exaly