RÉSUMÉ Ce travail porte sur l’application d’une technique de traduction statistique au problème de la normalisation de textos. La méthode est basée sur l’algorithme de recherche vorace décrit dans (Langlais et al., 2007). Une première normalisation est générée, puis nous appliquons itérativement une fonction qui génère des nouvelles hypothèses à partir de la normalisation courante, et maximison...

Cet article présente un algorithme pour l’ajustement de la présentation d’un document hypermédia dans le but de satisfaire au mieux les exigences de son auteur. Nous modélisons le problème sous la forme d’un problème de tension de coût minimum dans un graphe et proposons un algorithme basé sur la méthode de mise à conformité (out-of-kilter) pour le problème de flot de coût minimum. Dans un prem...

RÉSUMÉ. Le travail présenté dans cet article vise à extraire automatiquement certaines caractéristiques de produits à partir de descriptions textuelles fournies par un site marchand. La constitution d’un corpus de référence annoté révèle certains problèmes, provenant à la fois des textes et des particularités de la tâche. Pour l’aborder, nous avons testé deux approches : une méthode d’extractio...

La construction des graphes de plus proches voisins est un problème crucial pour nombre d’applications, notamment celles impliquant des algorithmes d’apprentissage et de fouille de données. Bien qu’il existe certain travaux visant à résoudre le problème dans des environnements centralisés, ils en restent néanmoins limités en raison du volume croissant des données ainsi que leur dimensionalité. ...

Résumé. Un des problèmes majeurs dans la gestion des ontologies est son évaluation. Cet article traite l’évaluation des concepts ontologiques qui sont extraits de pages Web. Pour cela, nous avons proposé une méthodologie d’évaluation des concepts basée trois critères révélateurs : « le degré de crédibilité »; « le degré de cohésion » et « le degré d’éligibilité ». Chaque critère correspond à un...

Résumé. Soit H(x) = ∑ n≤x φ(n) n − 6 π2x. Motivé par une conjecture de Erdös, Lau a développé une nouvelle méthode et il a démontré que #{n ≤ T : H(n)H(n + 1) < 0} T. Nous considérons des fonctions arithmétiques f(n) = ∑ d|n bd d dont l’addition peut être exprimée comme ∑ n≤x f(n) = αx+ P (log(x)) + E(x). Ici P (x) est un polynôme, E(x) = − ∑ n≤y(x) bn n ψ ( x n ) + o(1) avec ψ(x) = x − bxc − 1...

A finite element method with numerical quadrature is considered for the solution of a class of second-order quasilinear elliptic problems of nonmonotone type. Optimal a-priori error estimates for the H and the L norms are derived. The uniqueness of the finite element solution is established for a sufficiently fine mesh. Our results permit the analysis of numerical homogenization methods. To cit...

Nous présentons une méthode pour la reconstruction aveugle de deux variables de contrôle du système cardiovasculaire en utilisant seulement le rythme cardiaque et la tension artérielle. Le modèle de reconstruction est basé sur la séparation aveugle de source dans des mélanges convolutifs. L’algorithme d’apprentissage associé est déduit d’une approche de maximisation d’information. L’efficacité ...

RÉSUMÉ. Nous présentons une méthode factorisée de résolution de Processus de Décision Markoviens formulés en logique propositionnelle. Nous montrons que la complexité de la résolution de tels problèmes dépend directement de celles des opérations logiques mises en œuvre telles que le test de satisfaisabilité. Afin de réduire cette complexité, nous proposons une méthode d’approximation des problè...

Résumé. UML est le langage graphique de référence dans l’industrie pour la modélisation objet. Cependant UML reste un langage, et ne fournit aucun moyen de vérification ou d’interrogation de ses schémas. Il existe aujourd’hui des outils de vérification, mais ils se comportent comme des bôıtes noires où l’utilisateur ne peut accéder. Nous proposons une méthode graphique de vérification et d’inte...