If neural networks play an increasingly important role in natural language processing, training issues still hinder their dissemination in the community. This paper studies different learning strategies for neural language models (including two new strategies), focusing on the adaptation of the learning rate. Experimental results show the impact of the design of such strategy. Moreover, provide...

Nous proposons un formalisme lexical pour des architectures de transfert co-descriptives dirigées par le lexique qui définissent le niveau analytique des structures superficielles sous-specifiées de la représentation discursive (FUDRS) comme le niveau de transfert. Nous examinerons quelques exemples de non-concordance structurelle entre source et cible dont on sait que la représentation est ext...

We propose a patch to the pure pattern calculus: we claim that this is strictly more powerful to define the application of the match fail as the pure λ-term defining the boolean false instead of the identity function as it is done in the original version of the pure pattern calculus [JK09]. We show that using non algebraic patterns we are able to encode in a natural way any rewriting strategies...

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

Dans ce travail on expose un algorithme i de g~n~ration automatique, dont le but est: A ) De connaltre la capacit~ g~n~rative de la syntaxe obtenue dans l'exp6rience d'apprentissage automatique d~crite ~ afro d'~valuer son degr~ d'~labortion par rapport ~t la langue en gdndral. B) De construire certaines &apes importantes de l'automatisation des processus de traduction. C) De construire tin sys...

La construction automatique de scénarios à partir des signaux (séries temporelles) produits par les appareils de surveillance de patients en anesthésie réanimation est le premier pas vers l’élaboration de systèmes de monitoring intelligent. Mais dans ce contexte, les connaissances a priori ne sont pas suffisantes pour orienter efficacement un apprentissage à partir des données complexes que son...

We show that an element w of a finite Weyl group W is rationally smooth if and only if the hyperplane arrangement I(w) associated to the inversion set of w is inductively free, and the product (d1 +1) · · · (dl +1) of the coexponents d1, . . . , dl is equal to the size of the Bruhat interval [e, w]. We also use Peterson translation of coconvex sets to give a Shapiro-Steinberg-Kostant rule for t...

Résumé : Dans cet article, nous proposons de comparer les techniques employées en inférence grammaticale de langages réguliers par exemples positifs avec celles employées pour l’inférence de grammaires catégorielles. Pour cela, nous commençons par étudier la traduction entre automates et grammaires catégorielles, et inversement. Nous montrons ensuite que l’opérateur de généralisation utilisé po...

RÉSUMÉ. Nous dressons un bilan des travaux que nous avons conduits dans le cadre du projet LIDIA de traduction automatisée fondée sur le dialogue pour auteur monolingue. En mettant en œuvre une architecture linguistique à transfert multiniveau, nous avons proposé et évalué une méthodologie de production de questions de désambiguïsation interactive. Les modules mis en œuvre coopèrent au sein d’u...