Semantic Studies of a Synchronous Approach to Activity Recognition
| Autor: | Daniel Gaffé, Annie Ressouche, Ines Sarray, Sabine Moisan, Jean-Paul Rigault |
|---|---|
| Přispěvatelé: | Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Spatio-Temporal Activity Recognition Systems ( STARS ), Inria Sophia Antipolis - Méditerranée ( CRISAM ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ), Laboratoire d'Electronique, Antennes et Télécommunications ( LEAT ), Centre National de la Recherche Scientifique ( CNRS ) -Université Nice Sophia Antipolis ( UNS ), Université Côte d'Azur ( UCA ) -Université Côte d'Azur ( UCA ) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
[ INFO ] Computer Science [cs]
Relation (database) Programming language Computer science Semantics (computer science) Formal semantics (linguistics) Synchronous Approach computer.software_genre Formal methods Activity Recognition Constructive Automaton Semantics Activity recognition [INFO]Computer Science [cs] Rewriting computer Language |
| Zdroj: | International Conference on Software Engineering and Applications International Conference on Software Engineering and Applications, Jan 2018, Dubaï, United Arab Emirates International Conference on Software Engineering and Applications, Jan 2018, Dubaï, United Arab Emirates. pp.20 |
| Popis: | International audience; Many important and critical applications such as surveillance or healthcare require some form of (human) activity recognition. Activities are usually represented by a series of actions driven and triggered by events. Recognition systems have to be real time, reactive, correct, complete, and dependable. These stringent requirements justify the use of formal methods to describe, analyze, verify, and generate effective recognition systems. Due to the large number of possible application domains, the researchers aim at building a generic recognition system. They choose the synchronous approach because it has a well-founded semantics and it ensures determinism and safe parallel composition. They propose a new language to represent activities as synchronous automata and they supply it with two complementary formal semantics. First a behavioral semantics gives a reference definition of program behavior using rewriting rules. Second, an equational semantics describes the behavior in a constructive way and can be directly implemented. This paper focuses on the description of these two semantics and their relation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|