Parole chiave di "Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living"
- Label
- Parole chiave di "Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living" (literal)
- Keywords of "Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living" (literal)
- Insieme di parole chiave di
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- Temporal logic (Parola chiave)
- real-time processing (Parola chiave)
- Model checking (Parola chiave)
- Ambient Assisted Living (AAL) (Parola chiave)
- Activity recognition (Parola chiave)
- Activities of Daily Living (ADL) (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- Temporal logic (Parola chiave)
- real-time processing (Parola chiave)
- Model checking (Parola chiave)
- Ambient Assisted Living (AAL) (Parola chiave)
- Activity recognition (Parola chiave)
- Activities of Daily Living (ADL) (Parola chiave)
