-
1
المساهمون: 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), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), 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é 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é Côte d'Azur (UCA), 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)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)
المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩
Science of Computer Programming, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩مصطلحات موضوعية: Model checking, serious games, Computer science, 02 engineering and technology, Machine learning, computer.software_genre, Activity recognition, probabilistic model, 03 medical and health sciences, 0302 clinical medicine, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, Temporal logic, activity description, [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior, Markov chain, business.industry, Event (computing), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Statistical model, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, model checking, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], bio-medicine, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, 030217 neurology & neurosurgery, Software, Probabilistic model checking