default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTechnique 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 - Marie-Laure Potet:
Spécifications et développements structurés dans la méthode B. 61-88 - Jean-Raymond Abrial:
B : passé, présent, futur. 89-118 - Guilhem Pouzancre, Jean-Philippe Pitzalis:
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule. 119-128 - Didier Bert:
La recherche en B. 129-130 - Henri Habrias:
L'enseignement de B. 131-132
- 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, Éric 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
- É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 - Fabien Flacher, Olivier Sigaud:
Coordination spatiale émergente par champs de potentie. 171-195 - Luc Steels:
Linguistique évolutionnaire et vie artificielle. 197-219 - Nadine Richard, Philippe Codognet, Alain Grumbach:
Créatures virtuelle. 221-243
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
- 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
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
- 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, 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 - 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 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 - 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
- É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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
