Ident. | Authors (with country if any) | Title |
---|
000000 |
Jean-Charles Lamirel [France] ; Ingrid Falk [France] ; Claire Gardent [France] | Federating clustering and cluster labelling capabilities with a single approach based on feature maximization: French verb classes identification with IGNGF neural clustering : Advances in Self-Organizing Maps |
000002 |
Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | Supervision et vérification décentralisées de chorégraphies de services |
000003 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
000005 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
000010 |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000011 |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
000016 |
K. C. Santosh [France] ; Bart Lamiroy [France] ; Laurent Wendling [France] | Integrating vocabulary clustering with spatial relations for symbol recognition |
000017 |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
000018 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000026 |
Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
000027 |
Damien Pellier [France] ; Humbert Fiorino [France] ; Marc Metivier [France] | Une approche inspirée de la recherche de cible mouvante |
000029 |
Raphael Fonteneau [Belgique] ; Susan A. Murphy [États-Unis] ; Louis Wehenkel [Belgique] ; Damien Ernst [Belgique] | Strategies d'échantillonnage pour l'apprentissage par renforcement batch |
000032 |
SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie] | La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services |
000034 |
Lotfi Bouzguenda [Tunisie] ; Wassim Chtourou [Tunisie] | Découverte de la perspective organisationnelle dans le workflow: Une approche basée sur les agents |
000035 |
Eric Andonoff [France] ; Wassim Bouaziz [France] | Coordination à base de protocoles d'interaction dans le workflow inter-organisationnel dynamique |
000038 |
Didier Marin [France] ; Lionel Rigoux [France] ; Olivier Sigaud [France] | Apprentissage et optimisation de politiques pour un bras articulé actionné par des muscles |
000040 |
Olivier Sigaud [France] ; Freek Stulp [France] | Adaptation de la matrice de covariance pour l'apprentissage par renforcement direct |
000044 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
000045 |
Michel Couprie [France] | Topological maps and robust hierarchical Euclidean skeletons in cubical complexes |
000048 |
Kahina Bessai [France] ; Samir Youcef [France] ; Ammar Oulamara [France] ; Claude Godart [France] ; Selmin Nurcan [France] | Scheduling Strategies for Business Process Applications in Cloud Environments |
000051 |
Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique] | Outbound SPIT filter with optimal performance guarantees |
000056 |
Giuseppe Patane [Italie] | Multi-resolutive sparse approximations of d-dimensional data |
000060 |
Nicolas Normand [France] ; Robin Strand [Suède] ; Pierre Evenou [France] ; Aurore Arlicot [France] | Minimal-delay distance transform for neighborhood-sequence distances in 2D and 3D |
000061 |
Isabelle Bloch [France] ; Alain Bretto [France] | Mathematical morphology on hypergraphs, application to similarity and positive kernel |
000069 |
K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique] | Dynamic angle selection in binary tomography |
000073 |
Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
000075 |
Mousumi Dutt [Inde] ; Arindam Biswas [Inde] ; Partha Bhowmick [Inde] | Approximate partitioning of 2D objects into orthogonally convex components |
000079 |
D. Battaglino [Italie] ; A. Frosini [Italie] ; S. Rinaldi [Italie] | A decomposition theorem for homogeneous sets with respect to diamond probes |
000080 |
Antoine Vacavant [France] ; Tristan Roussillon [France] ; Bertrand Kerautret [France] ; Jacques-Olivier Lachaud [France] | A combined multi-scale/irregular algorithm for the vectorization of noisy digital contours |
000082 |
Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
000086 |
Antoine Bautin [France] ; Olivier Simonin [France] ; François Charpillet [France] | Stratégie d'exploration multirobot fondée sur les champs de potentiels artificiels |
000095 |
Geoffray Bonnin [France] ; Armelle Brun [France] ; Anne Boyer [France] | Exploitation du skipping pour la modélisation prédictive des usages du web: Vers une meilleure prise en compte du bruit |
000096 |
Armelle Brun [France] ; Anne Boyer [France] | Détection de communautés d'intérêt et recommandation sociale par leaders |
000102 |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
000104 |
Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
000112 |
Yann Guermeur [France] | A generic model of multi-class support vector machine |
000113 |
Nazih Ouwayed [France] ; Abdel Belaïd [France] | A general approach for multi-oriented text line extraction of handwritten documents |
000118 |
Violeta I. Perez-Nueno [France] ; David W. Ritchie [France] | Using Consensus-Shape Clustering To Identify Promiscuous Ligands and Protein Targets and To Choose the Right Query for Shape-Based Virtual Screening |
000121 |
Dilip Datta [Inde, Portugal] ; Andre R. S. Amaral [Portugal] ; Jose Rui Figueira [France] | Single row facility layout problem using a permutation-based genetic algorithm |
000123 |
Van Luong Le [France] ; Gérard Bloch [France] ; Fabien Lauer [France] | Reduced-Size Kernel Models for Nonlinear Hybrid System Identification : DATA-BASED CONTROL MODELING AND OPTIMIZATION |
000139 |
Muriel Visani [France] ; Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] | A protocol to characterize the descriptive power and the complementarity of shape descriptors |
000148 |
Yann Pollet [France] | Une approche algébrique pour la réutilisation et l'orchestration de services dans les systèmes d'information |
000149 |
Jean-Stéphane Ulmer [France] ; Jean-Pierre Belaud [France] ; Jean-Marc Le Lann [France] | Proposition d'une approche générique pour la formalisation et l'implémentation des processus |
000150 |
MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie] | Modélisation multidimensionnelle des versions de processus |
000152 |
Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France] | Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation |
000153 |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
000154 |
Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
000159 |
Isabelle Mirbel [France] ; Pierre Crescenzo [France] | Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions |
000161 |
Kafil Hajlaoui [France] ; Xavier Boucher [France] ; Michel Beigbeder [France] | Construction et usage d'une ontologie de compétences pour l'identification de réseaux collaboratifs d'entreprises |
000162 |
Jacques Simonin [France] ; Philippe Picouet [France] ; Jean-Marc Jezequel [France] | Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information |
000164 |
Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
000166 |
Oscar Avila [France] ; Virginie Goepp [France] | Analyse et classification des approches d'alignement TI/business: Contribution à la formalisation des mécanismes sous-jacents |
000171 |
Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
000174 |
Harbaoui Azza [Tunisie] ; Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Henda Ben Ghezala [Tunisie] | How to Improve Information Retrieval Using User's Profile: survey and open issue |
000178 |
Vishwesh Venkatraman [France] ; Violeta I. Perez-Nueno [France] ; Lazaros Mavridis [France] ; David W. Ritchie [France] | Comprehensive Comparison of Ligand-Based Virtual Screening Tools Against the DUD Data set Reveals Limitations of Current 3D Methods |
000180 |
Léo Ghemtio [France] ; Marie-Dominique Devignes [France] ; Malika Smaïl-Tabbone [France] ; Michel Souchet [France] ; Vincent Leroux [France] ; Bernard Maigret [France] | Comparison of Three Preprocessing Filters Efficiency in Virtual Screening: Identification of New Putative LXRβ Regulators As a Test Case |
000186 |
Sabine Barrat [France] ; Salvatore Tabbone [France] | A Bayesian network for combining descriptors: application to symbol recognition |
000198 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
000208 |
Tchimou N'Takpe [France] | Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles |
000211 |
Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | De l'intérêt du couplage de modèles pour appréhender les interactions utilisateurs/réseaux dynamiques |
000213 |
Christophe Thiery [France] ; Bruno Scherrer [France] | Construction d'un joueur artificiel pour Tetris |
000226 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
000229 |
A. Bellanger [France] ; A. Oulamara [France] | Scheduling hybrid flowshop with parallel batching machines and compatibilities |
000233 |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
000244 |
Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France] | EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY |
000253 |
Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France] | Architecture of a morphological malware detector : EICAR 2008 |
000254 |
Frédéric Cazals [France] ; Marc Pouget [France] | Algorithm 889: Jet_fitting_3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting |
000256 |
Olivier Simonin [France] ; Olivier Grunder [France] | A cooperative multi-robot architecture for moving a paralyzed robot |
000258 |
Fabrice Lauri [France] ; Francois Charpillet [France] | Résolution du problème de la patrouille multi-agent en utilisant des colonies compétitives de fourmis |
000266 |
Amine Boumaza [France] ; Bruno Scherrer [France] | Analyse d'un algorithme d'intelligence en essaim pour le fourragement |
000285 |
Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
000287 |
Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
000288 |
Jean-Marc Mota [France] ; Catherine Dubois [France] | Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes |
000293 |
Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France] | Construction de systèmes multi-agents par apprentissage collectif à base d'interactions |
000294 |
Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
000299 |
Ammar Oulamara [France] | Makespan minimization in a no-wait flow shop problem with two batching machines |
000305 |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
000309 |
Khadidja Grebici [France] ; Dominique Rieu [France] ; Eric Blanco [France] | Vers une meilleure collaboration des acteurs du processus de conception de produit |
000318 |
Sébastien Paquet [Canada] ; Ludovic Tobin [Canada] ; Brahim Chaib-Draa [Canada] | Prise de décision en temps-réel pour des POMDP de grande taille |
000319 |
Eric Andonoff [France] ; Lotfi Bouzguenda [France] ; Chihab Hanachi [France] | La coordination dans le workflow interorganisationnel lâche : Une approche basée sur les agents et le web sémantique |
000320 |
Jihed Touzi [France] ; Frédérick Benaben [France] ; Hervé Pingaud [France] | Interopérabilité et système d'information : Aide à la conception de système d'information interorganisationnel à partir de processus collaboratifs |
000321 |
Fabrice Jumel [France] ; Nicolas Navet [France] ; Francoise Simonot-Lion [France] | Impact de choix d'implantation sur les performances d'une application de contrôle-commande |
000328 |
Salah Baïna [France] ; Hervé Panetto [France] ; Khalid Benali [France] | Apport de l'approche MDA pour une interopérabilité sémantique : Interopérabilité des systèmes d'information d'entreprise |
000329 |
Iadine Chades [France] | Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent |
000332 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
000334 |
Mohammed Attik [France] | Using Ensemble Feature Selection Approach in Selecting Subset with Relevant Features |
000338 |
Abdel Belaïd [France] ; Andre Alusse [France] | Toward file consolidation by document categorization |
000344 |
P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
000345 |
Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France] | Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing |
000356 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost sure termination under strategies |
000357 |
Shu-Heng Chen [Taïwan] ; Nicolas Navet [Taïwan, France] | Pretests for Genetic-Programming Evolved Trading Programs : "zero-intelligence" Strategies and Lottery Trading |
000365 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On delays in management frameworks : Metrics, models and analysis |
000368 |
Karl Tombre [France] ; Salvatore Tabbone [France] ; Philippe Dosch [France] | Musings on symbol recognition |
000372 |
Stéphane Gobron [France] ; Denis Finck [France] ; Philippe Even [France] ; Bertrand Kerautret [France] | Merging cellular automata for simulating surface effects |
000381 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
000384 |
Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity properties of boolean BI through relational models |
000398 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
000399 |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
000404 |
ZOUHOUR NEJI BEN SALEM [Tunisie] ; Laurent Bougrain [France] ; Frcdcric Alexandre [France] | Comparison between two spatio-temporal organization maps for speech recognition |
000406 |
Gaurav Goel [France, Inde] ; Jens Gustedt [France] | Bounded arboricity to determine the local structure of sparse graphs |
000426 |
Véronique Cortier [France] | Vérifier les protocoles cryptographiques |
000433 |
Isabelle Debled-Rennesson [France] ; Fabien Feschet [France] ; Jocelyne Rouyer-Degli [France] | Optimal blurred segments décomposition in linear time |
000447 |
G. Bonfante [France] ; M. Kaczmarek ; J.-Y. Marion | Toward an abstract computer virology |
000455 |
Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
000458 |
Tomasz Truderung [France, Pologne] | Regular protocols and attacks with regular knowledge |
000462 |
Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | Quasi-interpretations and small space bounds |
000463 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost-sure termination |
000465 |
Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
000468 |
Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
000474 |
Mohammed Attik [France] ; Laurent Bougrain [France] ; Frédéric Alexandre [France] | Neural network topology optimization |
000476 |
Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
000478 |
Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional graph configuration for natural language processing |
000482 |
Benoit Crabbe [France] ; Denys Duchier [France] | Metagrammar redux |
000489 |
Djamé Seddah [France] ; Bertrand Gaiffe [France] | How to build argumental graphs using TAG shared forest : A view from control verbs problematic |
000504 |
Frédéric Blanqui [France] | Decidability of type-checking in the calculus of algebraic constructions with size annotations |
000511 |
Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining intruder theories |
000541 |
Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France] | Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi |
000543 |
Amedeo Napoli [France] ; Bernard Carre [France] ; Roland Ducournau [France] ; Jérome Euzenat [France] ; Francois Rechenmann [France] | Objets et représentation, un couple en devenir |
000577 |
Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Protocol analysis in intrusion detection using decision tree |
000622 |
HAISONG JIN [République populaire de Chine] ; GANGYAN LI [République populaire de Chine] ; YEQIONG SONG [France] | Avoiding accelerating incorrectly while steering with CAN networks |
000626 |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |