Zobrazeno 1 - 10
of 73
pro vyhledávání: '"sémantique formelle"'
Publikováno v:
RR-9506, Inria-Sophia Antipolis. 2023, pp.32
Time must be taken into account from the very start of the design of real-time systems. Because exact computation durations are usually not available in early design phase, multiple formalisms based on the concept of Multiform Logical Time have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1f41c96174d5a1e9e51ecfac9d79f671
https://inria.hal.science/hal-04088177/document
https://inria.hal.science/hal-04088177/document
Autor:
Babonnaud, William
Publikováno v:
Informatique [cs]. Université de Lorraine, 2022. Français. ⟨NNT : 2022LORR0312⟩
This thesis investigates the use of type theories and types with regards to compositionality in the formal semantic models of computational linguistics. Semantic types play a fundamental role in the detection and representation of semantic phenomena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55d89d75091cbfb5dff2c023cabf2c1d
https://hal.science/tel-03935669
https://hal.science/tel-03935669
Autor:
Melançon, Olivier
Le langage de programmation Python est aujourd'hui parmi les plus populaires au monde grâce à son accessibilité ainsi que l'existence d'un grand nombre de librairies standards. Paradoxalement, Python est également reconnu pour ses performances m
Externí odkaz:
http://hdl.handle.net/1866/26538
Autor:
Boritchev, Maria
Publikováno v:
Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine-Informatique, Automatique, Électronique-Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩
Formal studies of discourse raise numerous interrogations on the nature and the definition of the way consecutive sentences coherently combine with one another. Language is intrinsically dynamic: in its semantics in context (e.g. use of references) a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1c1785f66c72cb8f60e762040e12679b
https://hal.science/tel-03541628
https://hal.science/tel-03541628
Autor:
Recanati, François
Publikováno v:
Collège de France, 2020, ⟨10.4000/books.cdf.10057⟩
International audience; François Recanati offre un panorama de la philosophie analytique, et plus spécifiquement du sous-domaine qui en a longtemps constitué le cœur : la philosophie du langage, dans l’évolution de laquelle il discerne trois g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2638ef53c6f28dcfe54b2fad525c69e3
https://jeannicod.ccsd.cnrs.fr/ijn_03090151
https://jeannicod.ccsd.cnrs.fr/ijn_03090151
François Recanati offre un panorama de la philosophie analytique, et plus spécifiquement du sous-domaine qui en a longtemps constitué le cœur : la philosophie du langage, dans l’évolution de laquelle il discerne trois grandes phases. La premi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=openedition_::6ab5a9cf0f9ec5ec9fd57026cbacaad9
http://books.openedition.org/cdf/10057
http://books.openedition.org/cdf/10057
Autor:
Recanati, Catherine
This paper is partly an overview of Jean Nicod's PhD, La géométrie dans le monde sensible (1923), supervised by B. Russell. J. Nicod proposes here an original approach for the axiomatization of geometry. This approach, though incontestably logical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::23d6826ef066779c5f89c3dd29e22907
https://hal.archives-ouvertes.fr/hal-02861108
https://hal.archives-ouvertes.fr/hal-02861108
Autor:
Recanati, Catherine
This paper is partly an overview of La géométrie dans le monde sensible (1923) of J. Nicod. J. Nicod proposes here an original approach for the axiomatization of geometry. This approach, though incontestably logical and mathematical, consists in bu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b563b22a8dfc42db7834f7660fe04961
https://hal.archives-ouvertes.fr/hal-02861108v3/file/NicodDraftV2Bis.pdf
https://hal.archives-ouvertes.fr/hal-02861108v3/file/NicodDraftV2Bis.pdf
Autor:
Didier, Keryan
Publikováno v:
Embedded Systems. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS485⟩
The implementation of hard real-time systems involves a lot of steps that are traditionally manual. The growing complexity of such systems and hardware platforms on which they are executed makes increasingly difficult to ensure the correctness of tho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b6d280fdd901510bd4a2c353f42fbdc6
https://inria.hal.science/tel-02456172
https://inria.hal.science/tel-02456172
Autor:
Bernard, Timothée
Publikováno v:
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français. ⟨NNT : ⟩
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français. ⟨NNT : ⟩
This thesis focuses on the formalisms that make it possible to mathematically represent not only the meaning of independent sentences, but also whole texts, including the meaning relations that link sentences together. These links — the discourse r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b4bceb1b38656363dd0ed784748d05d1
https://hal.inria.fr/tel-02150106/document
https://hal.inria.fr/tel-02150106/document