Au cours des dernières années, plusieurs équipes de recherche se sont intéressées à la traduction de langages graphiques tels que UML vers des méthodes formelles. Les langages à base de modèles comme Z et B sont particulièrement bien adaptés à la traduction des diagrammes statiques d’UML. Néanmoins, certaines constructions de ces diagrammes mettent en oeuvre des propriétés dynamiques. Par exemp...

RÉSUMÉ. L’industrie automobile utilise aujourd’hui les enquêtes en clientèle, notamment, pour le dimensionnement en fiabilité de ses composants. Le problème type du classement par masses de véhicules à partir de mesures d’accélérations et de vitesses est traité. Une méthode de discrimination optimale pour ce problème est construite en considérant 4 niveaux : choix de l’espace de recherche (séle...

RÉSUMÉ. Afin d’améliorer la recherche multilingue dans le moteur de recherche Sinequa Engine, nous avons intégré les connaissances multilingues du service Sensagent au module de requêtes du moteur de recherche Sinequa Engine. L’interface développée propose une extension de la requête aux choix de l’utilisateur par traduction des différents mots dans les langues sélectionnées. Pour limiter le gr...

The continuous improvement of the quality of machine translation and of speech recognition systems opens new perspectives for the development of spoken translation applications. In this study, based on our own experience with the development of Spoken Translation Systems (STS) for conferences, we analyze and quantify the main difficulties raised by STSs, and discuss possible strategies to migit...

General purpose, high quality and fully automatic MT is believed to be impossible. We are interested in scriptural translation problems, which are weak sub-problems of the general problem of translation. We introduce the characteristics of the weak problems of translation and of the scriptural translation problems, describe different computational approaches (finite-state, statistical and hybri...

RÉSUMÉ. Dans un modèle conceptuel, les contraintes d'intégrité représentent une partie intégrante dont la définition est nécessaire pour exprimer aux mieux la sémantique du réel perçu. Toutefois, ces contraintes même si elles sont exprimées au niveau conceptuel, elles sont très souvent ignorées lors du passage vers le niveau logique. En pratique, la majorité des AGL de modélisation ne supporten...

Résumé La manipulation robotique aux échelles microscopiques représente un enjeu majeur pour le développement des techniques biologiques et pour l’avènement de produits hautement miniaturisés réalisés par micro-assemblage. La miniaturisation d’un système de manipulation est confrontée à plusieurs ruptures de type physique ou technique, comme par exemple la prédominance des forces d’adhésion sur...

MALGRÉ L’IMPORTANCE INDISCUTABLE du dépistage du cancer du col utérin, une proportion importante de Canadiennes ne passent pas, ou pas assez souvent, de tests de dépistage. Il est vraisemblable que certaines de ces femmes répondront à de simples stratégies de promotion du dépistage, mais ces stratégies pourraient se révéler inefficaces pour les groupes difficiles à joindre celles les femmes âgé...