Endre søk
Begrens søket
1 - 4 of 4
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Boytsov, Andrey
    et al.
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    Zaslavsky, Arkady
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    Formal verification of context and situation models in pervasive computing2013Inngår i: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 9, nr 1, s. 98-117Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    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.

  • 2.
    Davies, R.J.
    et al.
    University of Ulster.
    Nugent, C.D.
    University of Ulster.
    Donnelly, M.P.
    University of Ulster.
    Hettinga, M.
    Telematica Instituut, Enschede.
    Meiland, F.J.
    VU University Medical Center.
    Moelaert, F.
    Telematica Instituut, Enschede.
    Mulvenna, M.D.
    University of Ulster.
    Bengtsson, Johan
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, CDT.
    Craig, D.
    Belfast City Hospital/Queen’s University of Belfast.
    Dröes, R.-M.
    VU University Medical Center.
    A user driven approach to develop a cognitive prosthetic to address the unmet needs of people with mild dementia2009Inngår i: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 5, nr 3, s. 253-267Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper aims to provide the details of the approach adopted in the development of a cognitive prosthetic aimed to help address the unmet needs of people with mild dementia. The approach adopted is based on a waterfall style approach consisting of a series of three phases each of which contributes to the progression and improvement of a cognitive prosthetic-based solution. Within each phase, distinct stages of design, development and evaluation of the cognitive solution are conducted. The current paper discusses the distinct stages conducted in the first phase of the project which resulted in the design and development of a user driven solution based on the needs of 17 patient/carer dyads across three trial sites.

  • 3.
    Kranz, Matthias
    et al.
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    Möller, Andreas
    Technische Unviersität München.
    Hammerla, Nils
    Newcastle University.
    Diewald, Stefan
    Technische Unviersität München.
    Plötz, Thomas
    Newcastle University.
    Olivier, Patrick
    Newcastle University.
    Roalter, Luis
    Technische Unviersität München.
    The mobile fitness coach: towards individualized skill assessment using personalized mobile devices2013Inngår i: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 9, nr 2, s. 203-215Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    We report on our extended research on GymSkill, a smartphone system for comprehensive physical exercising support, from sensor data logging, activity recognition to on-top skill assessment, using the phone’s built-in sensors. In two iterations, we used principal component breakdown analysis (PCBA) and criteria-based scores for individualized and personalized automated feedback on the phone, with the goal to track training quality and success and give feedback to the user, as well as to engage and motivate regular exercising. Qualitative feedback on the system was collected in a user study, and the system showed good evaluation results in an evaluation against manual expert assessments of video-recorded trainings.

  • 4.
    Padowitz, Amir
    et al.
    Centre for Distributed Systems and Software Engineering, Monash University.
    Loke, Seng Wai
    Department of Computer Science and Computer Engineering Bundoora.
    Zaslavsky, Arkady
    The ECORA framework: A hybrid architecture for context-oriented pervasive computing2008Inngår i: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 4, nr 2, s. 182-215Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    An infrastructure approach to support context-aware pervasive computing is advantageous for rapid prototyping of context-aware distributed applications and beneficial for unifying modelling of context and reasoning in uncertain conditions. This paper presents the ECORA framework for context-aware computing, which is designed with a focus on reasoning about context under uncertainty and addressing issues of heterogeneity, scalability, communication and usability. The framework follows an agent-oriented hybrid approach, combining centralized reasoning services with context-aware, reasoning capable mobile software agents. The use of a centralized reasoning engine provides powerful reasoning capabilities and deploying context-aware mobile agents enables agility and robustness of components in the pervasive system. The design and implementation of the framework at different levels, as well as three case studies, are presented.

1 - 4 of 4
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf