DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
The ContextAct@A4H Real-Life Dataset of daily-living Activities: Activity Recognition Using Model Checking
In: Modeling and using context : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings (2017), S. 175-188
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details
2
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
In: https://hal.inria.fr/hal-00983711 ; [Research Report] RR-8527, INRIA. 2014 (2014)
BASE
Show details
3
On Explicit Substitution with Names
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 49 (2012) 2, 275-300
OLC Linguistik
Show details

Catalogues
0
0
1
0
0
0
1
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern