RÉSUMÉ. Disposer d’une représentation de l’architecture d’un système complexe est devenue essentiel pendant toutes les phases du cycle de vie du logiciel. Cependant pour beaucoup de systèmes, aucune représentation fiable de leurs architectures n’est disponible. Afin de palier cette absence, source de nombreuses difficultés, nous proposons, dans cet article une approche visant à extraire une arc...

Résumé : Nous présentons une technique d’apprentissage d’un objet très particulier qui est un solveur de contraintes. Étant donné un sous-ensemble de solutions et un autre sous-ensemble de non-solutions pour une contrainte, nous cherchons une représentation de la contrainte entière sous la forme d’un solveur. Un solveur permet de distinguer les solutions des non-solutions, et ainsi il effectue ...

Résumé : A n de pouvoir atteindre le réalisme exigé par les applications actuelles, la synthèse d'images doit être dotée d'outils facilitant la modélisation des scènes naturelles. C'est dans cette optique que nous proposons un modèle de croissance de déchirures appliqué aux écorces. Après une étude de cas qui nous a permis de caractériser le phénomène à représenter, nous utilisons un modèle de ...

RÉSUMÉ. Les réseaux sociaux contiennent une quantité importante d’information qui peut être divisée en deux dimensions : d’abord une dimension structurelle composée par l’information concernant les connexions entre les acteurs du réseau, puis une dimension de composition qui décrit chacun des acteurs de façon individuelle. Pour analyser un réseau, dans la plupart de cas, seulement une des dimen...

RÉSUMÉ Cette analyse tente d'une part de montrer l'articulation entre l'expression des arguments exprimés en (dé)faveur de la demande de modifications et de la solution existante et la co-élaboration de nouvelles solutions, et d'autre part le rôle du processus de la polyphonie (« plusieurs voix »). … MOTS-CLÉS Pragma-dialectique, ergonomie de la conception, argumentation polyphonique 1. INTRODU...

Résumé. La performance des entrepôts de données est classiquement assurée grâce à des structures comme les index ou les vues matérialisées. Dans ce contexte, des modèles de coût permettent de sélectionner un ensemble pertinent de ce type de structures. Toutefois, cette sélection devient plus complexe dans les nuages informatiques, car en plus des temps de réponse, il faut simultanément optimise...

RESUME : La programmation de jeux vidéo est une motivation souvent donnée par les étudiants désireux de suivre une formation en sciences informatiques. Or implémenter un jeu vidéo est complexe et fait appel à beaucoup de notions dont la plus visible est l'Interface Homme-Machine (IHM). Cette dernière fait souvent obstacle à la proposition d'un sujet de projet portant sur le jeu vidéo. Pourtant,...

introduction - les impuretes, meme en faibles teneurs, modifient beaucoup les proprietes physiques des metaux. ainsi, pour une etude profonde de ces proprie, tes , on a besion d'un metal extremement pur. la methode de la zone fondue a permis cette realisation . principe - dans la methode de purification dite de la «zone fondue» decouverte par pfann en 1952, une courte zone liquide est depl...

State Machines [Gur95]. Les Abstract State Machines (ASM), appelées aussi Evolving Algebras (EA), ont pour but de relier les spécifications de type algébrique et leur modèle sémantique. L’approche consiste à construire des machines (appelées aussi “e-algèbres”) qui représentent les systèmes de manière à ce que la correction des spécifications soit établie par de simples observations et vérifica...

Patient âgé de 56 ans, sans antécédent pathologique particulier, présentait depuis 5 ans une exophtalmie droite (A), progressive, non axile en bas et en dehors, non réductible et indolore. L'examen ophtalmologique trouvait une perception lumineuse négative droite avec une atrophie optique. La tomodensitométrie orbitaire montrait un processus fronto-éthmoïdal de densité osseuse avec une extensio...