Sciweavers

198 search results - page 8 / 40
» Context Awareness Framework Based on Contextual Graph
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
IFIP
2009
Springer
14 years 2 months ago
Contextual Inquiry in Signal Boxes of a Railway Organization
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
Joke Van Kerckhoven, Sabine Geldof, Bart Vermeersc...
CONTEXT
2007
Springer
14 years 2 months ago
Dialectic Approach for Using Viewpoint Discrepancies in Learning
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
Christiana Panayiotou, Vania Dimitrova
IIR
2010
13 years 6 months ago
Social Approach to Context-Aware Retrieval
In this paper we present a general purpose solution to Web content perusal by means of mobile devices, named Social Context-Aware Browser. This is a novel approach for the informa...
Luca Vassena
WOA
2003
13 years 9 months ago
Context dependent management of field diffusion: an experimental framework
Agents in the Multilayered Multi Agent Situated System (MMASS) model can perform at-a-distance distance communication by field diffusion over the structure of the environment that...
Flavio De Paoli, Giuseppe Vizzari