Sciweavers

2542 search results - page 115 / 509
» An Operational Definition of Context
Sort
View
JOLLI
2008
95views more  JOLLI 2008»
15 years 6 months ago
Relational Modality
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
Kathrin Glüer, Peter Pagin
MDM
2007
Springer
111views Communications» more  MDM 2007»
16 years 1 months ago
Situation Inference for Mobile Users: A Rule Based Approach
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
Laurent-Walter Goix, Massimo Valla, Laura Cerami, ...
DAGSTUHL
2009
15 years 8 months ago
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particular...
Romain Rouvoy, Paolo Barone, Yun Ding, Frank Elias...
KR
1998
Springer
15 years 11 months ago
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
Brandon Bennett
AISC
1994
Springer
15 years 11 months ago
Using Commutativity Properties for Controlling Coercions
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
Stephan A. Missura, Andreas Weber