Register saturation (RS) is the exact maximal register need of all valid schedules of a data dependence graph [4]. Its optimal computation is NP-complete. This report proposes two variants of heuristics for computing the acyclic RS of directed acyclic graphs (DAG). The first one improves the previous greedy-k heuristic [4] in terms of approximating the RS with equivalent computation times. The ...

Cet article décrit un outil permettant de soutenir des activités coopératives distribuées en conception mécanique à l’aide d’annotations. La conception assistée par ordinateur donne lieu à l’utilisation et à la création d’un grand nombre de documents et de commentaires liés aux documents qu’il faut classifier finement pour permettre leur réutilisation tout au long du projet. L’article se focali...

RESUME The use of the Maori language gradually declined in New Zealand. In response, Maori language immersion preschools have developed. These have become an instrument in changing the nature of Maori-government relations, as well as being a major source of shaping Maori consciousness in recent years. The author concluded with an examination of the implications of aboriginal language preschools...

RÉSUMÉ De nombreuses études sont en cours afin de développer des méthodes de traitement automatique de langues des signes. Plusieurs approches nécessitent de grandes quantités de données segmentées pour l’apprentissage des systèmes de reconnaissance. Nos travaux s’occupent de la segmentation semi-automatique de gestes afin de permettre d’identifier le début et la fin d’un signe dans un énoncé e...

RÉSUMÉ. Les travaux présentés dans cet article visent à développer un système de recherche d'information qui présente la particularité d'être adapté pour la langue arabe et de fournir des résultats personnalisés en fonction des préférences/centres d'intérêt de l'utilisateur. Pour cela, nous avons proposé une méthode d'expansion de requêtes basée à la fois sur des connaissances sémantiques issue...

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 ...

la modalité est définie comme un prédicat qui détermine un autre prédicat tout en modifiant son statut. elle appartient bien souvent au domaine de l'implicite, à titre de présupposé. ainsi, nous pouvons généralement y attribuer une existence métalinguistique qui affecte non seulement la performance des actants du discours, mais aussi leur compétence. autrement dit, en rencontrant un faire ou un...

La traduction automatique (TA) est le processus qui consiste à traduire un texte rédigé dans une langue source vers un texte dans une langue cible. Dans cet article, nous présentons notre système de traduction automatique statistique anglais-arabe. Dans un premier temps, nous présentons le processus général pour mettre en place un système de traduction automatique statistique, ensuite nous décr...

Une vue d’ensemble de l’architecture de la partie linguistique d’un système de traduction de texte Anglais en langage de signes est présentée. Nous nous concentrons sur la traduction du texte en langue naturelle vers une représentation sémantique pour l’aide à la traduction gestuelle. Nous rapportons nos progrès actuels dans l’application de techniques syntaxiques, sémantiques et contextuelles ...