Results 271 to 280 of about 1,493,771 (318)
Some of the next articles are maybe not open access.
Western Folklore, 1993
L'A. explique l'analyse contextuelle dans l'etude folklorique, ou la dichotomie entre texte et contexte n'existe pas. Ce type d'analyse est employe en fonction des genres etudies : narrations, proverbes, ballades chantees et devinettes. Deux termes cles sont approfondis : le contexte de culture et celui de situation qu'employait Malinowski.
openaire +1 more source
L'A. explique l'analyse contextuelle dans l'etude folklorique, ou la dichotomie entre texte et contexte n'existe pas. Ce type d'analyse est employe en fonction des genres etudies : narrations, proverbes, ballades chantees et devinettes. Deux termes cles sont approfondis : le contexte de culture et celui de situation qu'employait Malinowski.
openaire +1 more source
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
Misrepresentation in “Misrepresentation in Context” in Context
Foundations of Science, 2014I argue that in aiming to integrate the notions of representation and resemblance in the arts, philosophy of sciences and cognitive sciences one needs to focus on those processes of reasoning and creative inquiry that (i) exploit our faculties of imagination and mental imagery, (ii) create novel and useful metaphors based on iconic types of meaning ...
openaire +1 more source
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
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
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
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
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
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
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