Volume 22,
Number 1,
2003
Programmation en logique avec contraintes - JFPLC 2003
- Christian Timpe:
A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry.
15
- Konstantin Artiouchine, Juliette Mattioli:
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques.
19-32
- Vincent Barichard, Jin-Kao Hao:
Une approche hybride pour l'optimisation multi-objectif sous contraintes.
33-46
- Catherine Belleannée, Olivier Ridoux:
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique.
49-62
- Narendra Jussien:
L'enseignement de la programmation logique à l'École des Mines de Nantes.
63-75
- Christine Solnon:
Un cours "électronique" sur la programmation par contraintes.
77-80
- Laurent Jeannin, François-Xavier Josset, Fabien Le Huédé, Juliette Mattioli, Nicolas Museux, Pierre Savéant:
Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées.
83-96
- Pierre Deransart, Ludovic Langevine:
Un nouveau traceur générique pour GNU-Prolog.
97-110
- Patrice Boizumault, Narendra Jussien, Samir Ouis:
Explications k-relevantes pour la programmation par contraintes.
111-124
- AbdelAli Ed-Dbali, Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko:
Apprentissage de solveurs de contraintes sur les domaines finis.
125-138
- Yves Caseau, François Laburthe:
De l'utilité des contraintes pour explorer des catalogues.
141-154
- Nathalie Chabrier, François Fages:
"Model Checking" symbolique de réseaux biochimiques.
155-168
- Patrice Boizumault, Philippe David, Samir Loudni:
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.
169-182
- Simon de Givry, Laurent Jeannin:
Optimisation des évolutions d'un réseau télécom.
183-186
- Lucas Bordeaux, Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
190-202
- Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet:
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes.
203-216
- Fabrice Ambert, Sébastien Chemin, Bruno Legeard:
Intégration de domaines à variables dans un solveur de contraintes ensemblistes.
217-220
- Jean-François Puget:
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
223-236
- Guillaume Arnaud:
Implantation de SBDS en GNU Prolog.
237-250
- Emmanuel Coquery, François Fages:
Contraintes de sous-typage dans les quasi-treillis.
253-266
- Frédéric Boussemart, Fred Hemery, Christophe Lecoutre:
De AC3 à AC7.
267-280
- Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion:
Évolution + Adaptation = Résolution.
281-294
- François Laburthe:
Des contraintes sur des ontologies.
295-298
- Daniel Goossens:
Bipartitions et équations linéaires.
299-302
- Mustapha Belaïssaoui, Houssine Bouyakhf:
L'algorithme "Optimal Distributed Intelligent BackTracking".
303-306
- Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Correction de conjectures fausses par synthèse de programmes.
307-310
Volume 22,
Number 2,
2003
Volume 22,
Number 3,
2003
Volume 22,
Number 4,
2003
- Édito.
399-400
- Marc Aiguier, Diane Bahrami:
Une approche générique de la réécriture.
401-433
- Hanifa Boucheneb, John Mullins:
Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n).
435-459
- Radu Mateescu:
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones.
461-495
- Mobilité et bases de données.
497-518
- L'erreur est humaine.
519-526
Revue des Sciences et technologies de l'information:
Déploiement des systèmes multi-agents:
vers un passage à l'échelle. JFSMA 2003
- Avant-propos.
11
- Jean Sallantin:
La découverte scientifique assistée par des agents rationnels.
15-30
- Yves Demazeau:
Créativité émergente centrée utilisateur.
31-36
- Guy Pujolle:
Gestion et contrôle des réseaux par systèmes multi-agents.
37-43
- Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith:
Apport des approches agent pour l'analyse syntaxique de l'arabe.
47-60
- Jean-Paul Sansonnet, William A. Turner, Erika Valencia:
Agents informationnels pour l'étude expérimentale de concepts de socio-cognition Vers une approche agent de la socio-informatique.
61-76
- Jean-Paul A. Barthès, Fabrício Enembreck:
Architecture d'un système de dialogue pour la coopération homme/SMA.
77-82
- Stefano A. Cerri, Clement Jonquet:
Apprentissage issu de la communication pour des agents cognitifs.
83-87
- Amal El Fallah-Seghrouchni, Alexandru Suna:
CLAIM Un langage de programmation pour des agents autonomes, intelligents et mobiles.
91-105
- Gilles Blain, Zahia Guessoum, Jean-François Perrot, Arnaud Thiefaine:
Génération de systèmes multi-agents à partir de modèles.
107-111
- Bernard Moulin, Nabil Sahli:
La planification agent dans un environnement dynamique et distribué : entre la réalité et la simulation.
115-128
- Xavier Clerc, Humbert Fiorino, Damien Pellier:
Planification multi-agent par cycles de conjecture/réfutation.
129-141
- Irene Degirmenciyan-Cartault, Amal El Fallah-Seghrouchni, Frédéric Marc:
Modélisation et synchronisation de plans multi-agents contraints Application aux missions aériennes.
143-157
- Edouard Gbei, Nafaâ Jabeur, Bernard Moulin:
Une approche par compétition d'agents pour la résolution de l'encombrement spatial lors de la génération automatique des cartes Nafaâ Jabeur*.
162-173
- Christophe Cambier, Cécile Duchêne:
Généralisation cartographique avec des agents qui voient et communiquent.
175-188
- Olivier Boissier, Cosmin Carabelea, Adina Magda Florea:
Autonomie dans les systèmes multi-agents. essai de classification.
191-204
- Jacques Ferber, Frédéric Koriche, John Tranier:
Un modèle efficace de normes pour les systèmes multi-agents organisationnels.
205-217
- Olivier Buffet, François Charpillet, Alain Dutech:
Apprentissage par renforcement pour la conception de systèmes multi-agents réactifs.
219-231
- Grégory Beurier, Olivier Simonin, Jacques Ferber:
Un modèle de système multi-agent pour l'émergence multi-niveau.
235-247
- Marie Pierre Gleizes, Gauthier Picard:
OpenTool, outil pour la réalisation de systèmes multi-agents adaptatifs dans le cadre de la méthode ADELFE.
249-253
- Cyrille Bertelle, Sylvain Lerebourg, Damien Olivier, Pierrick Tranouez:
Contribution à la représentation multi-échelle des écosystèmes aquatiques.
255-259
- Christine Bourjot, Vincent Chevrier, Vincent Thomas:
Du collectif pour la satisfaction individuelle : un modèle d'auto-organisation.
261-265
- Philippe Bretier, Vincent Louis, Thierry Martinez:
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent.
269-282
- Sylvie Cazalens, Sandra Lemp, Philippe Lamarre:
Une procédure de médiation équitable Pareto optimale.
283-295
- Salima Hassas, Denis Jouvin:
Architectures dynamiques de systèmes multi-agents conversationnels.
297-301
- Samir Aknine, José Ghislain Quenum, Aurélien Slodzian:
Modélisation des interactions dans les systèmes multi-agents Configuration automatique de rôles.
303-307
- Nathalie Chaignaud, Amal El Fallah-Seghrouchni, Alexandre Pauchet:
Résolution coopérative de problèmes intégrant planification et interaction.
309-313
- Olivier Simonin, Jacques Ferber:
Un modèle multi-agent de résolution collective de problèmes situés multi-échelles.
317-329
- Pierre Chevaillier, Pierre De Loor, Cyril Septseault:
Les émotions : une métaphore pour la résolution de problèmes dynamiques distribués.
331-344
- Vincent Chevrier, Franck Gechter:
Une architecture réactive pour la localisation en robotique mobile.
345-358
- Philippe Beaune, Maxime Morge:
Conception multi-agent d'un système d'aide à la décision collective Justification automatique pour la confrontation des opinions.
359-363
- Khaled Ghédira, Meriam Kefi:
Résolution multi-agent d'un problème de tournées de véhicules.
365-371
- Guillaume Chicoisne, Sylvie Pesty:
Un modèle de conversation mixte pour l'interaction humain/agent.
375-380
- Davy Capera:
Mechanical Synthesis Solver.
381-385
- Carole Bernon, Valérie Camps, Marie Pierre Gleizes, Gauthier Picard:
ADELFE : atelier de développement de logiciels à fonctionnalité émergente.
387-391
- Guillaume Hutzler, Cédric Siléo:
MATE : un éditeur de texte basé sur une société d'agents réactifs.
393-397
- Jean-Paul A. Barthès:
Passage à l'échelle : déploiement industriel des SMA.
401-402
Volume 22,
Number 5,
2003
- Édito.
535-538
- Frédéric Boniol, Gérard Bel, Jérôme Ermont:
Trois approches pour la modélisation et la vérification de systèmes embarqués.
539-569
- Michaël Richard, Pascal Richard:
Méthode de placement et d'affectation des priorités pour les systèmes temps réel distribués.
571-595
- Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion:
Nouvelles politiques pour la réservation explicite de ressources en avance.
597-619
- Jean-Philippe Georges, Eric Rondeau, Thierry Divoux:
Evaluation de performances d'architectures Ethernet commuté.
621-649
- Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat:
Calcul de majorants de pire temps d'exécution : état de l'art.
651-677
Volume 22,
Number 6,
2003
- Édito.
687-688
- Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat:
Optimisations du chargement des instructions.
689-711
- Michael Dupré, Nathalie Drach:
Algorithme d'ordonnancement dynamique pour exécution statique.
713-735
- Karim Ben Chehida, Michel Auguin, Sebastien Raimbault:
Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement.
737-757
- Frédéric Raimbault, Dominique Lavenier:
ROOM. Des machines reconfigurables orientées objet pour les applications spécifiques.
759-782
- Daniel Menard, Taofik Saïdi, Daniel Chillet, Olivier Sentieys:
Implantation d'algorithmes spécifiés en virgule flottante dans les DSP virgule fixe.
783-803
- Chronique. ARCHITECTE D'ORDINATEURS AUJOURD'HUI. Quelques réflexions sur les challenges actuels.
811-820
Volume 22,
Number 7-8,
2003
- Éditorial.
829-830
- Julien Pinquier, Jean-Luc Rouas, Régine André-Obrecht:
Fusion de paramètres pour une classification automatique parole/musique robuste. Séparation parole/musique dans les fichiers a.
831-852
- Nicolas Ragot, Éric Anquetil:
Système de classification hybride interprétable par construction automatique de systèmes d'inférence floue.
853-878
- Laurent Pasquer, Guy Lorette:
Système de perception et d'interprétation de formes structurées (S P I).
879-902
- Arnaud Clerentin, Laurent Delahoche, Eric Brassart, Cyril Drocourt:
Une architecture de propagation de l'incertitude pour le problème de la localisation.
903-933
- Maan E. El Najjar, Véronique Berge-Cherfaoui, Philippe Bonnifait, Cyril Royère:
Elaboration de fonctions de croyance à partir de données GPS et SIG. Etude de stratégies de fusion pour la localisation.
935-964
- Iman Jarkass, Michèle Rombaut:
Reconnaissance crédibiliste de séquences temporelles.
965-981
- Dominique Gruyer, Cyril Royère, Véronique Berge-Cherfaoui:
Utilisation de la théorie des croyances pour l'association dans le suivi de cibles.
983-1010
- Pierre-Francois Marteau, Gildas Ménier:
Alignement approximatif d'arbres pour la recherche d'information en contexte dans les données XML hétérogènes.
1011-1034
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Logique possibiliste et fusion d'informations.
1035-1064
Volume 22,
Number 9,
2003
Volume 22,
Number 10,
2003
- Éditorial.
1239-1242
- Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Interrogation de ressources XML concernant un domaine d'intérêt.
1243-1270
- Ioana Manolescu, Luc Bouganim, Françoise Fabret, Eric Simon:
Interrogation efficace de ressources distribuées dans des systèmes de médiation.
1271-1296
- Stephane Drapeau, Claudia Roncancio, Pascal Dechamboux:
RS2.7, un canevas adaptable de duplication.
1297-1324
- Alain Casali, Rosine Cicchetti, Lotfi Lakhal:
Treillis cubes contraints pour la fouille de bases de données multidimensionnelles.
1325-1352
- Régis Saint-Paul, Guillaume Raschia, Noureddine Mouaddib:
Résumé de bases de données. Application au domaine bancaire.
1353-1379
Copyright © Mon Nov 2 21:59:59 2009
by Michael Ley (ley@uni-trier.de)
