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
Tous les rapports ont un résumé en français.