메뉴 건너뛰기




Volumn 6159 LNCS, Issue , 2010, Pages 160-170

Mild dementia care at home - Integrating activity monitoring, user interface plasticity and scenario verification

Author keywords

Activity Recognition; Human Computer Interface; Scenario Verification; Smart Environments; System Deployment and Replication

Indexed keywords

ACTIVITY RECOGNITION; HUMAN COMPUTER INTERFACE; HUMAN COMPUTER INTERFACES; SMART ENVIRONMENT; SYSTEM DEPLOYMENT;

EID: 77955455076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13778-5_20     Document Type: Conference Paper
Times cited : (24)

References (15)
  • 3
    • 52949116857 scopus 로고    scopus 로고
    • Eating Activity Primitives Detection - A Step Towards ADL Recognition
    • Tolstikov, A., Biswas, J., Tham, C.-K., Yap, P.: Eating Activity Primitives Detection - a Step Towards ADL Recognition. In: Healthcom 2008 (2008)
    • (2008) Healthcom 2008
    • Tolstikov, A.1    Biswas, J.2    Tham, C.-K.3    Yap, P.4
  • 9
    • 77955444109 scopus 로고    scopus 로고
    • NUADU ITEA European project, http://www.nuadu.org
  • 13
    • 70350222211 scopus 로고    scopus 로고
    • PAT: Towards Flexible Verification under Fairness
    • Bouajjani, A., Maler, O. (eds.) CAV 2009. Springer, Heidelberg
    • Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709-714. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5643 , pp. 709-714
    • Sun, J.1    Liu, Y.2    Dong, J.S.3    Pang, J.4
  • 14
    • 78650616473 scopus 로고    scopus 로고
    • Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
    • Sun, J., Liu, Y., Dong, J.S., Zhang, X.: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. In: ICFEM 2009, pp. 581-600 (2009)
    • (2009) ICFEM 2009 , pp. 581-600
    • Sun, J.1    Liu, Y.2    Dong, J.S.3    Zhang, X.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.