Results 271 to 280 of about 7,046,818 (296)
Some of the next articles are maybe not open access.
Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing - Adjunct, 2010
Context-aware self-adaptive applications monitor and exploit knowledge about external operating conditions and adapt to changes in the execution context. Modern smartphones are equipped with several sensors, like GPS sensor or accelerometer. Additionally, context reasoners and external context providers exist.
openaire +2 more sources
Context-aware self-adaptive applications monitor and exploit knowledge about external operating conditions and adapt to changes in the execution context. Modern smartphones are equipped with several sensors, like GPS sensor or accelerometer. Additionally, context reasoners and external context providers exist.
openaire +2 more sources
Defining Contexts in Context-Free Grammars
2012Conjunctive grammars (Okhotin, 2001) are an extension of the standard context-free grammars with a conjunction operation, which maintains most of their practical properties, including many parsing algorithms. This paper introduces a further extension to the model, which is equipped with quantifiers for referring to the left context, in which the ...
Mikhail Barash, Alexander Okhotin
openaire +2 more sources
Hoarding Context Information with Context Clusters
Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07), 2007The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the client application side can improve the probability that the application will continue to behave correctly in the event of disconnection.
Myilone Anandarajah +2 more
openaire +2 more sources
2010
Adopting an integrated approach, the contribution demonstrates that context can no longer be seen as an analytic prime. Rather than being looked upon as an external constraint on linguistic performance, it is analyzed as a product of language use, as interactionally constructed and as negotiated.
openaire +1 more source
Adopting an integrated approach, the contribution demonstrates that context can no longer be seen as an analytic prime. Rather than being looked upon as an external constraint on linguistic performance, it is analyzed as a product of language use, as interactionally constructed and as negotiated.
openaire +1 more source
2001
Indexing data structures are well-known to be crucial for the efficiency of the current state-of-the-art theorem provers. Examples are \emph{discrimination trees}, which are like tries where terms are seen as strings and common prefixes are shared, and \emph{substitution trees}, where terms keep their tree structure and all common \emph{contexts} can ...
Ganzinger, H. +2 more
openaire +2 more sources
Indexing data structures are well-known to be crucial for the efficiency of the current state-of-the-art theorem provers. Examples are \emph{discrimination trees}, which are like tries where terms are seen as strings and common prefixes are shared, and \emph{substitution trees}, where terms keep their tree structure and all common \emph{contexts} can ...
Ganzinger, H. +2 more
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 +2 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 +2 more sources
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
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
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 +2 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 +2 more sources