Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Aurélien Lamercerie"'
Autor:
Benoît Caillaud, Aurélien Lamercerie
Publikováno v:
FDL 2020-Forum on specification & Design Languages
FDL 2020-Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
FDL
HAL
FDL 2020-Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
FDL
HAL
International audience; Deterministic Propositional Acceptance Automata (DPAA) are proposed to capture system requirements expressing mandatory and forbidden discrete-time behavior. The main feature of this formalism is that it can express the expect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc26d756218f67cd3d49d03c3bf9cf2b
https://hal.archives-ouvertes.fr/hal-02971772/document
https://hal.archives-ouvertes.fr/hal-02971772/document
Autor:
Adrien Reuzeau, Flavien Lécuyer, Benoît Caillaud, Valérie Gouranton, Aurélien Lamercerie, Bruno Arnaldi
Publikováno v:
The Visual Computer
The Visual Computer, Springer Verlag, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
The Visual Computer, Springer Verlag, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
International audience; When defining virtual reality applications with complex procedures, such as medical operations or mechanical assembly or maintenance procedures, the complexity and the variability of the procedures makes the definition of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a6e2e2c9467d36194015daf7462104a
https://hal.inria.fr/hal-02879083
https://hal.inria.fr/hal-02879083
Autor:
Aurélien Lamercerie
Publikováno v:
TALN 2018-Conférence sur le Traitement Automatique des Langues Naturelles
TALN 2018-Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13
HAL
TALN 2018-Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13
HAL
National audience; This paper focuses on the construction of formal representations of natural language texts. The mapping from a natural language to a logical representation is realized with a grammatical formalism, linking the syntactic analysis of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::944f492b9b2313959e54b1c158850403
https://inria.hal.science/hal-01970134/document
https://inria.hal.science/hal-01970134/document