2000

• Modélisation Orienté Objet et Analyse de spécifications
  D. Buchs, M. Buffo, F. Kordon
• Colloque Intelligence Artificielle de Berder, 22-24 septembre 1999
  T. Pannérec
• Abstraction Fonctionnelle des Circuits Numériques VLSI Avec une méthode formelle basée sur une extraction de réseau de portes
  A. Lester
• Partitionnement maximalement prédictif sous contrainte d'ordre total.
  Applications aux séquences génétiques
  L. Guéguen
• Construction et Exploitation de Réseaux Sémantiques Flous pour l'Extraction d'Information Pertinente : Le système RELIEFS
  Ch. Brouard
• Estimation de probabilité non-paramétrique pour la reconnaissance markovienne de la parole
  F. Lefèvre
• Comment mon ordinateur à trouvé toutes les solutions de Cyclic 9
  J.-Ch. Faugère
• Les équations MICE
  J.-Ch. Faugère, H. Milena, Ph. Jeff
• Résolution réelle des systèmes polynomiaux en dimension positive
  Ph. Aubry, F. Rouillier, M. Safey El Din
• Modélisation de raisonnements tenus en contexte et application aux agents d'aide à la gestion d'incidents de SART
  L. Pasquier
• Du Jardin des Hasards aux Jardins de Données: une approche artistique et multi-agent des interfaces homme / systèmes complexes
  G. Hutzler
• Systèmes multiagents adaptatifs
  A. Cardon, Z. Guessoum
• Spécification en Coq de la notion d'héritage utilisée en Calcul Formel
  S. Boulmé
• Types Polymorphes, Objets, Modules, Foncteurs: Est-ce de trop.?
  S. Boulmé, Th. Hardin, R. Rioboo
• Nouvelles bornes inférieures pour les problèmes d'ateliers
  F. Sourd, W. Nuijten
• Un algorithme évolutionnaire adaptatif pour une colonie de fourmis
  L. Gacôgne
• Formalisation d'un modèle multiagent spatial à l'aide de réseaux de Petri Colorés afin d'étudier des stratégies de gestion des ressources de chasses
  I. Bakam, F. Kordon, Ch. Le.Page, F. Bousquet
• Comprendre et résoudre les problèmes multi-instances et multi-parties avec des arbres et des listes de décision. Application a la prédiction de mutagénécité
  J.-D. Zucker, Y. Chevaleyre
• Un Réseau d'interconnexion pour systèmes intégrés
  P. Guerrier
• Une approche componentielle pour la modélisation d'agents coopératifs et leur validation
  M.-J. Yoo
• Représentation de la variabilité dans le traitement d'images flou
  A. Rick
• L'émergence d'un lexique dans une population d'agents autonomes
  F. Kaplan
• Profil, une base de données iconographique sur les papiers filigranés modernes
  B. de.La.Passardière, C. Bustarret
• Une procédure de décision du "model checking" pour les réseaux de Petri récursifs séquentiels
  S. Haddad, D. Poitrenaud
• La methode de Hacque et la methode de GI complete pour le calcul du groupe de Galois
  I. Abdeljaouad, A. Valibouze
• Simulation de Fautes et Optimisation des Tests de Production pour les Circuits Analogiques avec prise en compte des Tolérances
  A. Khouas
• Comparaison des concepts de base dans les standards de l'informatique répartie à objets
  X. Blanc, M.-P. Gervais, J. Le Delliou
• ODAC : une méthodologie de construction de systèmes à base d'agents fondée sur ODP
  M.-P. Gervais
• Extension des diagrammes de décisions binaires pour la représentation de programmes VHDL en vue de leur vérification
  G. Decuq, E. Encrenaz-Tiphène
• Classification de séquences audiovisuelles
  J. Carrive
• Modélisation de séquence par techniques adaptatives : prévision de décharges de batterie et extraction de contours dans des images médicales
  O. Gérard
• Extension des fonctions pseudo-booléennes pour l'agrégation de critères interactifs
  M. Grabisch, Ch. Labreuche, J.-C. Vansnick