Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...

Mais on s'est aper~u qutil ~tait plus rentable et plus int~ressant de consid@rer le probl@me de l'analyse automotique sans tenir compte de la langue de sortie. C'est principalement ces recherches, sur l'analyse~~ , qui retiendront l'attention (n~anmQins, on tiendra compte des remarques pertinentes de Zvonov, issues de son travail sur l'analyse~ndant.__.~e du chinois, en particulier sur les cons...

ions supplémentaires, nous pouvons synthétiser l’écriture de plusieurs objectifs de test en un schéma de test. Un schéma de test est une abstraction d’objectifs de test. Nous présentons maintenant les différentes abstractions proposées avant d’étudier comment nous pouvons exprimer la couverture des schémas de test vis-à-vis de la spécification. Avant de présenter les différentes abstractions, n...

ion de Comportements par Réécriture de Mots Nous avons vu, en Section 1.2, que l’analyse comportementale classique opérait directement au niveau des interactions observées (les appels de librairie, les appels systèmes...), ce qui rend la détection de comportements suspects peu robuste puisque la moindre modification dans la mise en œuvre d’une fonctionnalité permet de faire échouer la détection...

RESUME. La connectivité ubiquitaire implique la disponibilité d’une multitude de technologies d’accès hétérogènes et de différents terminaux mobiles disposant d’interfaces multiples leur permettant d’être connectés en permanence et de manière transparente à l’Internet, avec la qualité de service souhaitée. Dans un tel environnement, il devient très difficile pour les fournisseurs de service de ...

In this paper we present REG, a graph-based approach for study a fundamental problem of Natural Language Processing (NLP): the automatic text summarization. The algorithm maps a document as a graph, then it computes the weight of their sentences. We have applied this approach to summarize documents in three languages.

dans le monde actuel de la littérature, la traduction est vue comme un des éléments essentiels qui ne se démente pas ; et cela à juste titre, car c’est grâce à la traduction qu’une œuvre littéraire passe d’une langue à l’autre. mais ce passage est loin d’être une simple transplantation : pour conserver toutes les dimensions d’une œuvre- langagière, culturelle et ….- la traduction a beaucoup à f...

Résumé. Une architecture logicielle peut être définie à différents niveaux d’abstraction, correspondants aux différentes étapes de son processus de développement : spécification, implémentation et déploiement. La cohérence entre les différentes définitions d’une architecture doit être maintenue : sa définition à un niveau d’abstraction doit être conforme à sa définition au niveau d’abstraction ...

RÉSUMÉ. Le langage de requête est l’indispensable interface entre l’utilisateur et l’outil de recherche. Simplifié au maximum dans les cas où les moteurs indexent essentiellement des documents plats, il devient fort complexe lorsqu’il s’adresse à des documents structurés et qu’il s’agit de définir des contraintes portant à la fois sur la structure et le contenu. L’approche icidécrite propose d’...

Patient âgé de 40 ans, se présente pour un syndrome maculaire (Baisse progressive de l'acuité visuelle, métamorphopsie) unilatéral de l'oeil gauche. L'examen clinique objective une acuité visuelle normale à 9/10e P2 de l'oeil droit, et diminuée à 3/10e P8 au niveau de l'oeil gauche. L'examen du fond d'oeil trouve un aspect des stries angioïdes au niveau des 2 yeux, avec une hémorragie maculaire...