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
Electronic Edition (link) BibTeX
- Konstantin Artiouchine, Juliette Mattioli:
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques.
19-32
Electronic Edition (link) BibTeX
- Vincent Barichard, Jin-Kao Hao:
Une approche hybride pour l'optimisation multi-objectif sous contraintes.
33-46
Electronic Edition (link) BibTeX
- Catherine Belleannée, Olivier Ridoux:
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique.
49-62
Electronic Edition (link) BibTeX
- Narendra Jussien:
L'enseignement de la programmation logique à l'École des Mines de Nantes.
63-75
Electronic Edition (link) BibTeX
- Christine Solnon:
Un cours "électronique" sur la programmation par contraintes.
77-80
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Pierre Deransart, Ludovic Langevine:
Un nouveau traceur générique pour GNU-Prolog.
97-110
Electronic Edition (link) BibTeX
- Patrice Boizumault, Narendra Jussien, Samir Ouis:
Explications k-relevantes pour la programmation par contraintes.
111-124
Electronic Edition (link) BibTeX
- AbdelAli Ed-Dbali, Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko:
Apprentissage de solveurs de contraintes sur les domaines finis.
125-138
Electronic Edition (link) BibTeX
- Yves Caseau, François Laburthe:
De l'utilité des contraintes pour explorer des catalogues.
141-154
Electronic Edition (link) BibTeX
- Nathalie Chabrier, François Fages:
"Model Checking" symbolique de réseaux biochimiques.
155-168
Electronic Edition (link) BibTeX
- Patrice Boizumault, Philippe David, Samir Loudni:
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.
169-182
Electronic Edition (link) BibTeX
- Simon de Givry, Laurent Jeannin:
Optimisation des évolutions d'un réseau télécom.
183-186
Electronic Edition (link) BibTeX
- Lucas Bordeaux, Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
190-202
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Fabrice Ambert, Sébastien Chemin, Bruno Legeard:
Intégration de domaines à variables dans un solveur de contraintes ensemblistes.
217-220
Electronic Edition (link) BibTeX
- Jean-François Puget:
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
223-236
Electronic Edition (link) BibTeX
- Guillaume Arnaud:
Implantation de SBDS en GNU Prolog.
237-250
Electronic Edition (link) BibTeX
- Emmanuel Coquery, François Fages:
Contraintes de sous-typage dans les quasi-treillis.
253-266
Electronic Edition (link) BibTeX
- Frédéric Boussemart, Fred Hemery, Christophe Lecoutre:
De AC3 à AC7.
267-280
Electronic Edition (link) BibTeX
- Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion:
Évolution + Adaptation = Résolution.
281-294
Electronic Edition (link) BibTeX
- François Laburthe:
Des contraintes sur des ontologies.
295-298
Electronic Edition (link) BibTeX
- Daniel Goossens:
Bipartitions et équations linéaires.
299-302
Electronic Edition (link) BibTeX
- Mustapha Belaïssaoui, Houssine Bouyakhf:
L'algorithme "Optimal Distributed Intelligent BackTracking".
303-306
Electronic Edition (link) BibTeX
- Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Correction de conjectures fausses par synthèse de programmes.
307-310
Electronic Edition (link) BibTeX
Volume 22,
Number 2,
2003
Volume 22,
Number 3,
2003
Volume 22,
Number 4,
2003
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
Electronic Edition (link) BibTeX
- Jean Sallantin:
La découverte scientifique assistée par des agents rationnels.
15-30
Electronic Edition (link) BibTeX
- Yves Demazeau:
Créativité émergente centrée utilisateur.
31-36
Electronic Edition (link) BibTeX
- Guy Pujolle:
Gestion et contrôle des réseaux par systèmes multi-agents.
37-43
Electronic Edition (link) BibTeX
- Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith:
Apport des approches agent pour l'analyse syntaxique de l'arabe.
47-60
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jean-Paul A. Barthès, Fabrício Enembreck:
Architecture d'un système de dialogue pour la coopération homme/SMA.
77-82
Electronic Edition (link) BibTeX
- Stefano A. Cerri, Clement Jonquet:
Apprentissage issu de la communication pour des agents cognitifs.
83-87
Electronic Edition (link) BibTeX
- Amal El Fallah-Seghrouchni, Alexandru Suna:
CLAIM Un langage de programmation pour des agents autonomes, intelligents et mobiles.
91-105
Electronic Edition (link) BibTeX
- Gilles Blain, Zahia Guessoum, Jean-François Perrot, Arnaud Thiefaine:
Génération de systèmes multi-agents à partir de modèles.
107-111
Electronic Edition (link) BibTeX
- Bernard Moulin, Nabil Sahli:
La planification agent dans un environnement dynamique et distribué : entre la réalité et la simulation.
115-128
Electronic Edition (link) BibTeX
- Xavier Clerc, Humbert Fiorino, Damien Pellier:
Planification multi-agent par cycles de conjecture/réfutation.
129-141
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Christophe Cambier, Cécile Duchêne:
Généralisation cartographique avec des agents qui voient et communiquent.
175-188
Electronic Edition (link) BibTeX
- Olivier Boissier, Cosmin Carabelea, Adina Magda Florea:
Autonomie dans les systèmes multi-agents. essai de classification.
191-204
Electronic Edition (link) BibTeX
- Jacques Ferber, Frédéric Koriche, John Tranier:
Un modèle efficace de normes pour les systèmes multi-agents organisationnels.
205-217
Electronic Edition (link) BibTeX
- Olivier Buffet, François Charpillet, Alain Dutech:
Apprentissage par renforcement pour la conception de systèmes multi-agents réactifs.
219-231
Electronic Edition (link) BibTeX
- Grégory Beurier, Olivier Simonin, Jacques Ferber:
Un modèle de système multi-agent pour l'émergence multi-niveau.
235-247
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Cyrille Bertelle, Sylvain Lerebourg, Damien Olivier, Pierrick Tranouez:
Contribution à la représentation multi-échelle des écosystèmes aquatiques.
255-259
Electronic Edition (link) BibTeX
- Christine Bourjot, Vincent Chevrier, Vincent Thomas:
Du collectif pour la satisfaction individuelle : un modèle d'auto-organisation.
261-265
Electronic Edition (link) BibTeX
- Philippe Bretier, Vincent Louis, Thierry Martinez:
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent.
269-282
Electronic Edition (link) BibTeX
- Sylvie Cazalens, Sandra Lemp, Philippe Lamarre:
Une procédure de médiation équitable Pareto optimale.
283-295
Electronic Edition (link) BibTeX
- Salima Hassas, Denis Jouvin:
Architectures dynamiques de systèmes multi-agents conversationnels.
297-301
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nathalie Chaignaud, Amal El Fallah-Seghrouchni, Alexandre Pauchet:
Résolution coopérative de problèmes intégrant planification et interaction.
309-313
Electronic Edition (link) BibTeX
- Olivier Simonin, Jacques Ferber:
Un modèle multi-agent de résolution collective de problèmes situés multi-échelles.
317-329
Electronic Edition (link) BibTeX
- Pierre Chevaillier, Pierre De Loor, Cyril Septseault:
Les émotions : une métaphore pour la résolution de problèmes dynamiques distribués.
331-344
Electronic Edition (link) BibTeX
- Vincent Chevrier, Franck Gechter:
Une architecture réactive pour la localisation en robotique mobile.
345-358
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Khaled Ghédira, Meriam Kefi:
Résolution multi-agent d'un problème de tournées de véhicules.
365-371
Electronic Edition (link) BibTeX
- Guillaume Chicoisne, Sylvie Pesty:
Un modèle de conversation mixte pour l'interaction humain/agent.
375-380
Electronic Edition (link) BibTeX
- Davy Capera:
Mechanical Synthesis Solver.
381-385
Electronic Edition (link) BibTeX
- Carole Bernon, Valérie Camps, Marie Pierre Gleizes, Gauthier Picard:
ADELFE : atelier de développement de logiciels à fonctionnalité émergente.
387-391
Electronic Edition (link) BibTeX
- Guillaume Hutzler, Cédric Siléo:
MATE : un éditeur de texte basé sur une société d'agents réactifs.
393-397
Electronic Edition (link) BibTeX
- Jean-Paul A. Barthès:
Passage à l'échelle : déploiement industriel des SMA.
401-402
Electronic Edition (link) BibTeX
Volume 22,
Number 5,
2003
- Édito.
535-538
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion:
Nouvelles politiques pour la réservation explicite de ressources en avance.
597-619
Electronic Edition (link) BibTeX
- Jean-Philippe Georges, Eric Rondeau, Thierry Divoux:
Evaluation de performances d'architectures Ethernet commuté.
621-649
Electronic Edition (link) BibTeX
- Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat:
Calcul de majorants de pire temps d'exécution : état de l'art.
651-677
Electronic Edition (link) BibTeX
Volume 22,
Number 6,
2003
- Édito.
687-688
Electronic Edition (link) BibTeX
- Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat:
Optimisations du chargement des instructions.
689-711
Electronic Edition (link) BibTeX
- Michael Dupré, Nathalie Drach:
Algorithme d'ordonnancement dynamique pour exécution statique.
713-735
Electronic Edition (link) BibTeX
- Karim Ben Chehida, Michel Auguin, Sebastien Raimbault:
Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement.
737-757
Electronic Edition (link) BibTeX
- Frédéric Raimbault, Dominique Lavenier:
ROOM. Des machines reconfigurables orientées objet pour les applications spécifiques.
759-782
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Chronique. ARCHITECTE D'ORDINATEURS AUJOURD'HUI. Quelques réflexions sur les challenges actuels.
811-820
Electronic Edition (link) BibTeX
Volume 22,
Number 7-8,
2003
- Éditorial.
829-830
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nicolas Ragot, Éric Anquetil:
Système de classification hybride interprétable par construction automatique de systèmes d'inférence floue.
853-878
Electronic Edition (link) BibTeX
- Laurent Pasquer, Guy Lorette:
Système de perception et d'interprétation de formes structurées (S P I).
879-902
Electronic Edition (link) BibTeX
- Arnaud Clerentin, Laurent Delahoche, Eric Brassart, Cyril Drocourt:
Une architecture de propagation de l'incertitude pour le problème de la localisation.
903-933
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Iman Jarkass, Michèle Rombaut:
Reconnaissance crédibiliste de séquences temporelles.
965-981
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Logique possibiliste et fusion d'informations.
1035-1064
Electronic Edition (link) BibTeX
Volume 22,
Number 9,
2003
Volume 22,
Number 10,
2003
- Éditorial.
1239-1242
Electronic Edition (link) BibTeX
- Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Interrogation de ressources XML concernant un domaine d'intérêt.
1243-1270
Electronic Edition (link) BibTeX
- Ioana Manolescu, Luc Bouganim, Françoise Fabret, Eric Simon:
Interrogation efficace de ressources distribuées dans des systèmes de médiation.
1271-1296
Electronic Edition (link) BibTeX
- Stephane Drapeau, Claudia Roncancio, Pascal Dechamboux:
RS2.7, un canevas adaptable de duplication.
1297-1324
Electronic Edition (link) BibTeX
- Alain Casali, Rosine Cicchetti, Lotfi Lakhal:
Treillis cubes contraints pour la fouille de bases de données multidimensionnelles.
1325-1352
Electronic Edition (link) BibTeX
- Régis Saint-Paul, Guillaume Raschia, Noureddine Mouaddib:
Résumé de bases de données. Application au domaine bancaire.
1353-1379
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:30:45 2009
by Michael Ley (ley@uni-trier.de)
