Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarTechnique et Science Informatiques, Volume 22
Volume 22, Number 1, 2003
Editorial. 7-9- Daniel Dollé, Didier Essamé, Jérôme Falampin:
B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. 11-32 - Lilian Burdy, Ludovic Casset, Antoine Requet:
Développement formel d'un vérifieur embarqué de byte-code Java. 33-60 - Guilhem Pouzancre, Jean-Philippe Pitzalis:
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule. 119-128
- 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 - 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 - 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 - Patrice Boizumault, Philippe David, Samir Loudni:
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. 169-182 - 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 - Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion:
Évolution + Adaptation = Résolution. 281-294 - 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
- Édito. 141-143
- Guillaume Beslon, Hédi Soula:
Laissez-les vivre ! La codépendance temporelle comme clé de l'apprentissage de comportements chez un animat. 145-170
Volume 22, Number 3, 2003
- Édito. 253-255
- Jérôme Monnot, Vangelis Th. Paschos, Sophie Toulouse:
Optima locaux garantis pour l'approximation différentielle. 257-288 - Violeta Felea, Bernard Toursel, Nathalie Devesa:
Les collections distribuées : un outil pour la conception d'applications Java parallèles. 289-314 - Yannick Le Moullec, Jean-Philippe Diguet, Dominique Heller, Jean Luc Philippe:
Estimation du parallélisme au niveau système pour l'exploration de l'espace de conception de systèmes enfouis. 315-349 - Mobilité et bases de données. Etat de l'art et perspectives - 1ère partie. Action spécifique CNRS "Mobilité/Accès aux données". 351-377
Volume 22, Number 4, 2003
- Édito. 399-400
- 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
Special Issue
- Jean-Pierre Briot, Khaled Guédira:
Déploiement des Systemes Multi-Agents - vers un passage à l'échelle - JFSMA 2003 - Actes des 11èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2003), Hammamet, Tunisia, October 27-29, 2003. Lavoisier 2003, ISBN 2-7462-0810-5 - Avant-propos. 11
- 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, Clément 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 - Guillaume Chicoisne, Sylvie Pesty:
Un modèle de conversation mixte pour l'interaction humain/agent. 375-380 - 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
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 Ménard, 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 - 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
- Éditorial. 1073-1076
- Titus B. Zaharia, Françoise J. Prêteux:
Descripteurs de forme pour l'indexation de maillages 3D. 1077-1105 - Julien Fauqueur, Nozha Boujemaa:
Recherche d'images par régions d'intérêt : segmentation grossière rapide et description couleur ne. 1107-1138 - Salvatore Tabbone, Laurent Wendling:
Adaptation de la transformée de Radon pour la recherche d'objets à niveaux de gris et de couleurs. 1139-1166 - Jenny Benois-Pineau, William Dupuy, Dominique Barba:
Outils de structuration des documents vidéo en vue d'indexation basée sur une approche du signal 1D. 1167-1200 - Sid-Ahmed Berrani, Laurent Amsaleg, Patrick Gros:
Recherche approximative de plus proches voisins. 1201-1230
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 - Stéphane 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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-21 20:37 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
