1998
-
Estampilles d'Ordonnancement : Principes & Utilisations
J.-Ph. Lesot, J.-M. Rifflet -
Reformuler et classer un problème pour le résoudre.
Le système SYRCLAD et son application à quatre domaines
N. Guin -
Les systèmes adaptatifs à architecture d'agents dynamiques : une approche de la conscience artificielle
A. Cardon -
Calcul de polynômes caractéristiques associés à certains anneaux quotients
Ph. Aubry, A. Valibouze -
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle
P. Rémy -
Méthode de simulation logico-temporelle de circuits numériques complexes prenant en compte le front des signaux et les collisions dans le cadre de la simulation mixte analogique-numérique
N. Abdallah -
Colloque Intelligence Artificielle, 16-18 septembre 1997, Ile de Berder
S. Kornman -
La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents
B. Mammass -
Une preuve formelle du bounded retransmission protocol dans le pi-calcul
B. Mammass -
Encore et encore le bounded retransmission protocol
Th. Hardin, B. Mammass -
Modélisation des Systèmes Adaptatifs par Agents: vers une Analyse-conception Orientée Agent
A. Cardon -
Sélection de Variables et Réseaux de Neurones
Ph. Leray, P. Gallinari -
Algorithmes Génétiques pour le problème d'ordonnancement job-shop avec machines en parallèle et contraintes de précédence.: méthode par brassage d'heuristiques
F. Ghedjati -
Apprentissage inductif en présence de données imprécises.:
Construction et utilisation d'arbres de décision flous
Ch. Marsala -
Des objets actifs aux agents autonomes
Z. Guessoum, J.-P. Briot -
Combinaison de Classifieurs Statistiques, Application à la Prédiction de la Structure Secondaire des Protéines
Y. Guermeur -
Tests de prototypes pour améliorer la réutilisabilité de leurs composants
D. Buchs, A. Diagne, F. Kordon -
Connaissances taxinomiques: Représentation de taxinomies comportant des exceptions et construction d'hypermédias à base de connaissances taxinomiques
C. Faron -
Systèmes d'Aide à la Décision basé sur le Contexte: Papiers Complémentaires
P. Brézillon, V. Rajkovic -
Exploitation des Symétries dans la Vérification des propriétés des Systèmes Concurrents
K. Ajami, S. Haddad, J.-M. Ilié -
Comparaison des Performances de Mécanismes de Conduite à Flux Tirés de Systèmes de Production Multi-Etages
F. Karaesmen, Y. Dallery -
Ordonnacement dynamique dans un système de production par anticipation.: une caractérisation partielle des politiques optimales
F. de Véricourt, F. Karaesmen, Y. Dallery -
Résolution par radicaux en degré 5
D. Lazard -
Kanban étendu pour la gestion de production de systèmes d'assemblage
C. Chaouiya, G. Liberopoulos, Y. Dallery -
Formalisation des contraintes de qualité sur le cycle de vies des applications réparties
A. Diagne, P. Estraillier, F. Kordon -
Implémentation de la généricité pour des environnements CASE paramétrables
F. Kordon, J.-L. Mounier -
Classification des opérateurs selon la complexité dans un système de réécriture régulier
C. Chabaud -
Panorama des processeurs de traitement du signal
Y. Bajot -
Conception d'un système multiagents adaptatif: application à la gestion de crise
H. Boukachour, A. Cardon, S. Durand, F. Lesage -
Abstraction Fonctionnelle des Composants VLSI
J.-B. Guignet -
Une approche à base de composants logiciels pour la conception d'agents.
Principes et mise en oeuvre à travers la plate-forme Maleva
M. Lhuillier -
De la modélisation des tâches utilisateurs au prototype de l'interface homme-machine. Une approche pluridisciplinaire : Informatique et Ergonomie.
H. Hammouche -
Construire des services de télécommunication sous forme de systèmes multi-agents : le projet ODAC
A. Diagne, M.-P. Gervais -
FrameKit, une plate-forme en Ada pour le prototypage d'environnements CASE
F. Kordon, J.-L. Mounier -
Mise en Oeuvre, Evaluation des Performances et Vérification de la Validité de Topologies et de Schémas de Routage pour l'Aide a la Conception de Réseaux d'Interconnexion pour Architectures Parallèles
A. Bouaraoua -
Une méthode de tes des circuits intégrés, basée sur un découpage structurel peu recouvrant
O. Florent -
MetaScribe : un outil pour la génération de moteurs de réécriture
F. Kordon -
Enregistrement des services dans la plate-forme d'accueil FrameKit
F. Kordon -
DMeroon, une mémoire répartie, causalement cohérente, à classe
--- Documentation générale
Ch. Queinnec -
Entre réductionnisme méthodologique et stratégie intentionnelle, l'éthologie, un modèle alternatif pour l'I.A.D. ?
A. Drogoul, A. Collinot -
Une approche méthodologique de la Conception de Systémes Multi-Agents Apprenant
A. Drogoul, J.-D. Zucker -
Analyse temporelle hiérarchique des circuits VLSI à très haute densité d'intégration
K. Dioury -
APPRENTISSAGE ET DIAGNOSTIC DE SYSTEMES COMPLEXES : RÉSEAUX DE NEURONES ET RÉSEAUX BAYÉSIENS.
Application à la gestion en temps réel du trafic téléphonique français
Ph. Leray -
Réutilisation de structures de données dans le domaine des réseaux électriques
Y. Chikhi -
Découverte automatique de régularités dans les séquences et application à l'analyse musicale
P.-Y. Rolland -
SAGE : un agent intelligent d'interface pour un hypermédia à base de connaissances taxinomiques fonctionnant dans l'environnement du Web
I. Akoulchina -
Assignation de fibres optiques pour la spectroscopie multi-objets
F. Sourd -
Construction d'ontologies à partir de textes techniques - application aux systèmes documentaires
H. Assadi -
Encodage/décodage vu comme un processus de compilation/interprétation
Ch. Queinnec -
Propriétés combinatoires des matrices sur les (pré)-semi-anneaux
M. Minoux -
Résolution de systèmes linéaires dans les semi-anneaux et les dioïdes
M. Minoux -
Algèbre linéaire dans les semi-anneaux et les dioïdes
M. Minoux
Tous les rapports ont un résumé en français.