| 1. |
- Kikhia, Basel, et al.
(författare)
-
Structuring and Presenting Lifelogs based on Location Data
- 2014
-
Ingår i: Pervasive Computing Paradigms for Mental Health. - Cham : Encyclopedia of Global Archaeology/Springer Verlag. - 9783319115634 ; , s. 133-144
-
Konferensbidrag (refereegranskat)abstract
- Lifelogging techniques help individuals to log their life and retrieve important events, memories and experiences. Structuring lifelogs is a major challenge in lifelogging systems since the system should present the logs in a concise and meaningful way to the user. In this paper the authors present an approach for structuring lifelogs as places and activities based on location data. The structured lifelogs are achieved using a combination of density-based clustering algorithms and convex hull construction to identify the places of interest. The periods of time where the user lingers at the same place are then identified as possible activities. In addition to structuring lifelogs the authors present an application in which images are associated to the structuring results and presented to the user for reviewing. The system is evaluated through a user study consisting of 12 users, who used the system for 1 day and then answered a survey. The proposed approach in this paper allows automatic inference of information about significant places and activities, which generates structured image-annotated logs of everyday life.
|
|
| 2. |
- Kikhia, Basel, et al.
(författare)
-
Structuring and presenting lifelogs based on location data
- 2012
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Lifelogging techniques help individuals to log their life and retrieve important events, memories and experiences. Structuring lifelogs is a major challenge in lifelogging systems since the system should present the logs in a concise and meaningful way to the user. In this article the authors present a novel approach for structuring lifelogs as places and activities based on location data. The structured lifelogs are achieved using a combination of density-based clustering algorithms and convex hull construction to identify the places of interest. The periods of time where the user lingers at the same place are then identified as possible activities. In addition to structuring lifelogs the authors present an application in which images are associated to the structuring results and presented to the user for reviewing. The proposed approach allows automatic inference of information about significant places and activities, which generates structured image-annotated logs of everyday life.
|
|
| 3. |
|
|
| 4. |
- Boytsov, Andrey
(författare)
-
Context reasoning, context prediction and proactive adaptation in pervasive computing systems
- 2011
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs, etc. are becoming a part of everyday life. Context of pervasive computing system is any piece of information that can be of possible interest to the system. Context often includes location, time, activity, surroundings, etc. One of the core features of pervasive computing systems is context awareness – the ability to use context information to the benefit of the system. The thesis proposes a set of context prediction and situation prediction methods on top of enhanced situation awareness mechanisms. Being aware of the future context enables a pervasive computing system to choose the most efficient strategies to achieve its stated objectives and therefore a timely response to the upcoming situation can be provided. This thesis focuses on the challenges of context prediction, but in order to become really efficient and useful, context prediction approaches need to be gracefully integrated with different other aspects of reasoning about the context. This thesis proposes a novel integrated approach for proactively working with context information. In order to become efficient, context prediction should be complemented with proper acting on predicted context, i.e. proactive adaptation. The majority of current approaches to proactive adaptation solves context prediction and proactive adaptation problems in sequence. This thesis identifies the shortcomings of that approach, and proposes an alternative solution based on reinforcement learning techniques. The concept of situation provides useful generalization of context data and allows eliciting the most important information from the context. The thesis proposes, justifies and evaluates improved situation modeling methods that allow covering broader range of real-life situations of interest and efficiently reason about situation relationships. The context model defines the pervasive computing system’s understanding of its internal and external environments, and determines the input for context prediction solutions. This thesis proposes novel methods for formal verification of context and situation models that can help to build more reliable and dependable pervasive computing systems and avoid the inconsistent context awareness, situation awareness and context prediction results. The architecture of pervasive computing system integrates all the aspects of context reasoning and governs the interaction and collaboration between different context processing mechanisms. This thesis proposes, justifies and evaluates the architectural support for context prediction methods. The novel architectural solutions allow encapsulating various practical issues and challenges of pervasive computing systems and handling them on low levels of context processing, therefore, supporting the efforts for efficient context prediction and proactive adaptation.
|
|
| 5. |
- Boytsov, Andrey, et al.
(författare)
-
Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems
- 2013
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Context awareness is one of the central features of pervasive computing systems. From pervasive computing perspective a situation can be defined as external semantic interpretation of context. Situation awareness aims to infer situations out of context. Developing situation awareness is a challenging task, which can be significantly hampered by errors during design stage. In this article we propose a novel method for verification of fuzzy situation definitions. Fuzzy logic is a powerful mechanism for reasoning in pervasive computing systems and verification of situation models is a new method of formally ensuring correctness of context awareness and situation awareness. Verification is applied at the design time to check that definitions of situations are error-free. Verification approach allows developers to rigorously specify expected relationships between situations and then formally check that definitions of situations comply with expected relationships. If an error is found, then additional task is to find counterexamples - particular context attribute values, which can cause situation awareness inconsistency. Counterexamples provide additional insight into the cause of error and help repairing situation definitions. We also discuss a method to formalize requirements, as well as propose and formally prove the novel verification algorithm for fuzzy situation models. Last, but not least, we analyze theoretical and practical complexity of the proposed solution.
|
|
| 6. |
- Boytsov, Andrey, et al.
(författare)
-
ECSTRA : Distributed context reasoning framework for pervasive computing systems
- 2011
-
Ingår i: Smart Spaces and Next Generation Wired/Wireless Networking. - Berlin, Heidelberg : Springer Science+Business Media B.V.. ; , s. 1-13
-
Konferensbidrag (refereegranskat)abstract
- Pervasive computing solutions are now being integrated into everyday life. Pervasive computing systems are deployed in homes, offices, hospitals, universities. In this work we present ECSTRA – Enhanced Context Spaces Theory-based Reasoning Architecture. ECSTRA is a context awareness and situation awareness framework that aims to provide a comprehensive solution to reason about the context from the level of sensor data to the high level situation awareness. Also ECSTRA aims to fully take into account the massively multiagent distributed nature of pervasive computing systems. In this work we discuss the architectural features of ECSTRA, situation awareness approach and collaborative context reasoning. We also address the questions of multi-agent coordination and efficient sharing of reasoning information. ECSTRA enhancements related to those problems are discussed. Evaluation of proposed features is also discussed.
|
|
| 7. |
- Boytsov, Andrey, et al.
(författare)
-
Extending context spaces theory by predicting run-time context
- 2009
-
Ingår i: Smart Spaces and Next Generation Wired/Wireless Networking. - Berlin : Encyclopedia of Global Archaeology/Springer Verlag. - 9783642041884 ; , s. 8-21
-
Konferensbidrag (refereegranskat)abstract
- Context awareness and prediction are important for pervasive computing systems. The recently developed theory of context spaces addresses problems related to sensor data uncertainty and high-level situation reasoning. This paper proposes and discusses componentized context prediction algorithms and thus extends the context spaces theory. This paper focuses on two questions: how to plug-in appropriate context prediction techniques, including Markov chains, Bayesian reasoning and sequence predictors, to the context spaces theory and how to estimate the efficiency of those techniques. The paper also proposes and presents a testbed for testing a variety of context prediction methods. The results and ongoing implementation are also discussed.
|
|
| 8. |
- Boytsov, Andrey, et al.
(författare)
-
Extending context spaces theory by proactive adaptation
- 2010
-
Ingår i: Smart spaces and next generation Wired/Wireless networking. - Berlin, Heidelberg : Encyclopedia of Global Archaeology/Springer Verlag. - 9783642148903 ; , s. 1-12
-
Konferensbidrag (refereegranskat)abstract
- Context awareness is one of the core features of pervasive computing systems. Pervasive systems can also be improved by smart application of context prediction. This paper addresses subsequent challenge of how to act according to predicted context in order to strengthen the system. Novel reinforcement learning based architecture is proposed to overcome the drawbacks of existing approaches to proactive adaptation. Context spaces theory is used as an example of how existing context awareness systems can be enhanced to achieve proactive adaptation. This recently developed theory addresses problems related to sensors uncertainty and high-level situation reasoning and it can be enhanced to achieve efficient proactive adaptation as well. This article also discusses implementation options and possible testbed to evaluate the solutions
|
|
| 9. |
- Boytsov, Andrey, et al.
(författare)
-
Formal verification of context and situation models in pervasive computing
- 2013
-
Ingår i: Pervasive and Mobile Computing. - : Elsevier BV. - 1574-1192 .- 1873-1589. ; 9:1, s. 98-117
-
Tidskriftsartikel (refereegranskat)abstract
- Pervasive computing is a paradigm that focuses on availability of computer resources anytime anywhere for any application and supports non-intrusive integration of computing services into everyday life. Context awareness is the core feature of pervasive computing. High-level context awareness can be enhanced by situation awareness that represents the ability to detect and reason about the real-life situations. In this article we propose, analyze and validate the formal verification method for situation definitions and demonstrate its feasibility and efficiency. Situations are often defined manually by domain experts and are, therefore, susceptible to definition inconsistencies and possible errors, which in turn can cause situation reasoning problems. The proposed method takes as an input properties of situations and dependencies among them as well as situation definitions in terms of low-level context features, and then either formally proves that the definitions do comply with the expected properties, or provides a complete set of counterexamples — context parameters that prove situation inconsistency. Evaluation and complexity analysis of the proposed approach are also presented and discussed. Examples and evaluation results demonstrate that the proposed approach can be used to verify real-life situation definitions, and detect non-obvious errors in situation specifications.
|
|
| 10. |
- Boytsov, Andrey, et al.
(författare)
-
Formal Verification of the Context Model : Enhanced Context Spaces Theory Approach
- 2011
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Pervasive computing is a paradigm that focuses on availability and non-intrusive integration of computing services into everyday life. Context awareness is the basic principle of pervasive computing. The important part of high-level context awareness is situation awareness – the ability to detect and reason about the real-life situations. The specifications of situations are often carried out manually by the experts. Therefore, the specification errors can be introduced. The specification errors cause the situation reasoning problems and context model inconsistency. In this article we propose and analyze the approach for formal verification of the situation definitions. Our solution uses as an input the situation specification in terms of low-level context features and the properties under verification, and then either formally proves that the specifications do comply with the expected property, or provide all possible counterexamples – the context conditions that will lead to situation awareness inconsistency. Evaluation and the complexity analysis of the proposed approach are also discussed.
|
|
