Nous nous proposons d'automatiser les preuves d'égalités sur les nombres réels dans le système Coq en utilisant la théorie des corps commutatifs. L'idée de l'algorithme consiste à se débarrasser des inverses a n de pouvoir se brancher sur la procédure de décision déjà existante sur les anneaux abéliens (Ring). L'élimination des inverses se fait de manière complètement ré exive et la ré exion es...

Résumé. Le choix d’une mesure de proximité entre objets a un impact direct sur les résultats de toute opération de classification, de comparaison, d’évaluation ou de structuration d’un ensemble d’objets. Pour un problème donné, l’utilisateur est amené à choisir une parmi les nombreuses mesures de proximité existantes. Or, selon la notion d’équivalence choisie, comme celle basée sur les préordon...

RÉSUMÉ. Comprendre la capacité des réseaux mobiles à connections intermittentes (ICMN Intermittently Connected Mobile Networks) est important pour bien répondre aux divers besoins d’interactivité et de bande passante des applications mobiles. Un problème pratique concerne la transformation des messages d’une application en paquets prêts à être transmis à travers un ICMN. Dans ce papier, nous pr...

A new concept, fuzzy segments, is introduced which allows for exible segmentation of discrete curves, so taking into account some noise in them. Relying on an arithmetic approach of discrete lines, it generalizes them, admitting that some points are missing. Thus, a larger class of objects is considered. A very e cient detection algorithm for fuzzy segments and its application to curve segmenta...

RÉSUMÉ. Cet article présent une première étape dans l’élaboration d’un environnement de modélisation sémantique pour les premières étapes de la conception d’une voiture. Jusqu’à présent, la génération et la manipulation de forme en conception esthétique se basent toujours sur des outils géométriques de bas niveau qui proviennent du paradigme classique de la CAO (Conception Assistée par Ordinate...

what reluctantly ventured outside the domain of the standard Nippon collector with the acquisition of the pictured Japanese vase. I will not go into a great descriptive as the pictures speak for themselves. This is a wonderful example of a moriage style Nippon era vase. It is a significant Art Nouveau piece measuring 11 7/8” (30 cm) high and 5” (12.6 cm) wide at the handles and includes a wrap ...

RÉSUMÉ. Un patron d’ingénierie constitue une base de savoir-faire pour résoudre un problème fréquemment rencontré dans des domaines particuliers. L’adaptation de la solution du patron à un cas concret est une opération de réutilisation appelée imitation. Lors de la conception d’un système d’information, une imitation d’un patron de conception (fragment de spécification) doit pouvoir s’intégrer ...