HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-00003378v1  Theses
Laurent Jeanpierre. Apprentissage et adaptation pour la modélisation stochastique de systèmes dynamiques réels
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2002. Français
...
tel-00003377v1  Theses
Bruno Scherrer. Apprentissage de représentation et auto-organisation modulaire pour un agent autonome
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2003. Français. ⟨NNT : 2003NAN10018⟩
...
edutice-00000640v1  Conference papers
Marilyne RossellePierre GilloisJosette Morinet-LambertFrançois Kohler. A Reference-Frame for Installing the Student's Computer to Access a Virtual Medicine University
Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Nov 2002, Villeurbanne, France. pp.39-46
...
edutice-00000688v1  Conference papers
Lahcen OubahssiMonique GrandbastienGérard Claës. Ré-ingénierie d'une plate-forme fondée sur la modélisation d'un processus global de FOAD
Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie, Oct 2004, Compiègne, France. pp.32-38
...
halshs-00003807v1  Conference papers
Anne ReboulLaurent RomaryBertrand Gaiffe. Références et gestion du dialogue
Actes du colloque TALN'94, 7-8 avril 1994, Apr 1994, pp.134-150
...
halshs-00003822v1  Conference papers
Anne ReboulOlivier GrisvardBertrand Gaiffe. La représentation des actes de langage pour traiter le dialogue
Actes de l'atelier thématique "Théories sémantiques et pragmatiques: le temps, l'espace et le mouvement, du lexique au discours et au dialogue", TALN'99, 1999
...
inria-00000009v1  Journal articles
Thierry FraichardAlexis Scheuer. From Reeds and Shepp's to continuous-curvature paths
IEEE Transactions on Robotics, IEEE, 2004, 20 (6), pp.1025-1035. ⟨10.1109/TRO.2004.833789⟩
...
inria-00000026v1  Conference papers
Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
inria-00000041v1  Journal articles
Mouna BenaissaVincent LecuireFrancis LepageAndré Schaff. Efficient DE-Jitter Control for Voice Applications over Wireless Ad Hoc Networks
Telecommunication Systems, Springer Verlag (Germany), 2005, modeling, analysis, design and management, 28 (2), pp.211-230
...
inria-00000059v1  Conference papers
Frédérique PeguironOdile Thiery. Modélisation des acteurs et des ressources : application au contexte d'un SIS universitaire
Organisation des connaissances dans les systèmes d'informations orientés utilisation : contexte de veille et d'intelligence économique - ISKO-France'2005, International Society for Knowledge Organization -France, Apr 2005, Nancy
...
inria-00000070v1  Conference papers
Inès MouakherFrancis AlexandreKhaled Bsaïes. Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
Premières Journées Francophones de Programmation par Contraintes - JFPC'2005, CRIL - CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
hal-00005087v1  Journal articles
Laurent AlonsoPhilippe ChassaingFlorent GilletSvante JansonEdward M. Reingold et al.  Quicksort with unreliable comparisons: a probabilistic analysis
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2004, 13 (4-5), pp.419-449. ⟨10.1017/S0963548304006297⟩
...
inria-00000101v1  Conference papers
Nizar MessaiMarie-Dominique DevignesMalika Smaïl-TabboneAmedeo Napoli. Treillis de concepts et ontologies pour l'interrogation d'un annuaire de sources de données biologiques (BioRegistry)
Actes du XXIIIème congrès Informatique des Organisations et Systèmes d'information et de décision - INFORSID 2005, May 2005, Grenoble/France
...
inria-00000011v1  Journal articles
Alexis Scheuer. La conduite des robots
Sciences et Info prépas, Editions POLE / Ellipses, 2000, Transformations et fonctions, Représentation et Analyse, Hors-Série numéro 1, pp.148-161
...
inria-00000103v1  Conference papers
Kaushik RoySzilárd VajdaUmapada PalBidyut Baran ChaudhuriAbdel Belaïd. A System for Indian Postal Automation
International Workshop on Document Analysis, Umapada Pal, Mar 2005, Kolkata, India
...
inria-00000108v1  Journal articles
Thomas VoegtlinPeter Ford Dominey. Linear Recursive Distributed Representations
Neural Networks, Elsevier, 2005, 18 (7), pp.878-895
inria-00000112v1  Conference papers
Isabelle Debled-RennessonFabien FeschetJocelyne Rouyer-Degli. Optimal blurred segments decomposition in linear time
12th International Conference on Discrete Geometry for Computer Imagery - DGCI 2005, Eric Andres, Guillaume Damiand, Pascal Lienhardt, Apr 2005, Poitiers, France, pp.371-382
...
inria-00000113v1  Conference papers
Adnene GuabtniFrançois Charoy. Multiple Instantiation in a Dynamic Workflow Environment
The 16th International Conference on Advanced Information Systems Engineering - CAISE'2004, Riga Technical University, Jun 2004, Riga/Latvia, pp. 175 - 188, ⟨10.1007/b98058⟩
...
hal-00005453v1  Book sections
Norbert ReithingerDirk FedelerAshwani KumarElsa PecourtChristoph Lauer et al.  MIAMM – A Multimodal Dialogue System Using Haptics
Kuppevelt, Jan C.J. van; Dybkjaer, Laila; Bernsen, Niels Ole. Advances in natural Multimodal Dialogue Systems, Kluwer Academic Publisher, 385 p., 2005, Text, Speech and Language Technology, Vol. 30
inria-00000120v1  Journal articles
Jean-Raymond AbrialDominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
...
inria-00000142v1  Conference papers
Catherine EngAnnabelle ThibessardSébastien HergalantJean-François MariPierre Leblond. Data Mining Using Hidden Markov Models (HMM2) to Detect Heterogeneities into Bacteria Genomes
Journées Ouvertes Biologie, Informatique et Mathématiques - JOBIM 2005, JOBIM, Jul 2005, Lyon/France, France
...
inria-00000144v1  Conference papers
Julien VitayNicolas Rougier. Using Neural Dynamics to Switch Attention
International Joint Conference on Neural Networks - IJCNN'05, Jul 2005, Montreal, Canada
...
inria-00000141v1  Journal articles
Nicolas RougierDavid NoelleTodd BraverJohn CohenRandall O'Reilly. Prefrontal Cortex and Flexible Cognitive Control: Rules Without Symbols
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2005, 102 (20), pp.7338-7343
...
hal-00005841v1  Journal articles
Francis CometsFrançois DelarueRené Schott. Distributed Algorithms in an Ergodic Markovian Environment
Random Structures and Algorithms, Wiley, 2007, 30, pp.131-167
...
hal-00005853v1  Journal articles
Eitan AltmanBruno GaujalArie Hordijk. Balanced Sequences and Optimal Routing
Journal of the ACM (JACM), Association for Computing Machinery, 2000, 47 (4), pp.752-775. ⟨10.1145/347476.347482⟩
inria-00000148v1  Conference papers
Julien FondrevelleAmmar OulamaraMarie-Claude Portmann. Minimizing the weighted sum of machine completion times in flowshop with time lags
International Conference on Industrial Engineering and Systems Management - IESM'05, I4e2, May 2005, Marrakech/Maroc
...
inria-00000149v1  Conference papers
Julien FondrevelleAmmar OulamaraMarie-Claude Portmann. Minimizing makespan in flowshop with time lags
Models and Algorithms for Planning and Scheduling Problems - MAPSP'2005, Jun 2005, Sienne/Italie
...
inria-00000025v1  Conference papers
Vincent Lefèvre. New Results on the Distance Between a Segment and Z². Application to the Exact Rounding
17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
...
inria-00000102v1  Conference papers
Nizar MessaiMarie-Dominique DevignesAmedeo NapoliMalika Smaïl-Tabbone. Querying a Bioinformatic Data Sources Registry with Concept Lattices
3th International Conference on Conceptual Structures - ICCS 2005, Jun 2005, Kassel, Germany. pp.323-336, ⟨10.1007/11524564_22⟩
inria-00000153v1  Conference papers
Marie-Dominique DevignesNizar MessaiAmedeo NapoliShazia OsmanMalika Smaïl-Tabbone. Intelligent access to genomic sources on the web
W3C Workshop on Semantic Web for Life Sciences, Oct 2004, Cambridge, Massachusetts USA
inria-00000163v1  Conference papers
César Torres-HuitzilBernard GirauClaudio Castellanos Sánchez. Digital Implementation of a Bio-inspired Neural Model for Motion Estimation
International Joint Conference on Neural Networks - IJCNN 2005, Jul 2005, Montréal, Québec/Canada
inria-00000187v1  Conference papers
Julien Vitay. Towards Teaching a Robot to Count
Fifth International Workshop on Epigenetic Robotics, L. Berthouze and H. Kozima, Jul 2005, Nara, Japan
...
inria-00000191v1  Conference papers
Fabrice TouzainSophie SchbathIsabelle Debled-RennessonBertrand AiglePierre Leblond et al.  SIGffRid : Programme de recherche des sites de fixation des facteurs de transcription par approche comparative
Journées Ouvertes Biologie Informatique Mathématiques - JOBIM'05, Guy Perrière, Alain Guénoche et Christophe Geourjon, Jul 2005, Lyon, France. pp.417-425
...
sic_00001278v2  Conference papers
Stéphane GoriaAmos Abayomi DavidJean-Claude DerniamePhilippe Geffroy. Attempt on the elaboration of good expression principles for information retrieval problem
8th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS - SCI 2004, Jul 2004, Orlando, United States. pp.306-310
...
halshs-00004541v1  Conference papers
Susanne Salmon-AltAmine AkroutLaurent Romary. Proposals for a normalized representation of Standard Arabic full form lexica
International Conference on Machine Intelligence, Nov 2005, Tozeur, Tunisia
...
inria-00000199v1  Conference papers
Denys DuchierJoseph Le RouxYannick Parmentier. XMG : Un Compilateur de Méta-Grammaires Extensible
12e Conférence Annuelle sur le Traitement Automatiques des Langues Naturelles - TALN 2005, Jun 2005, Dourdan, France. pp.13-22
...
inria-00000202v1  Conference papers
Daniel SzerFrançois CharpilletShlomo Zilberstein. MAA*: Un algorithme de recherche heuristique pour la résolution exacte de DEC-POMDPs
Cinquièmes Journées Nationales sur Processus Décisionnel de Markov et Intelligence Artificielle - PDMIA'05, Jun 2005, Lille/France
inria-00000203v1  Conference papers
Daniel SzerFrançois Charpillet. Solving Infinite Horizon DEC-POMDPs by Best-First Search
8th Biennial Israeli Symposium on the Foundations of AI - BISFAI -05, Jun 2005, Haifa/Israel
...
inria-00000204v1  Conference papers
Daniel SzerFrançois CharpilletShlomo Zilberstein. MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs
21st Conference on Uncertainty in Artificial Intelligence - UAI'2005, Jul 2005, Edinburgh/Scotland
...
inria-00000208v1  Conference papers
Raghav ArasAlain DutechFrançois Charpillet. Cooperation in stochastic games through communication
4th International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS'05, Jul 2005, Utrecht/ The Netherlands, pp.1197 - 1198, ⟨10.1145/1082473.1082691⟩
...
inria-00000209v1  Conference papers
Raghav ArasAlain DutechFrançois Charpillet. Stigmergy in multi-agent reinforcement learning
Fourth International Conference on Hybrid Intelligent Systems - HIS'04, Dec 2004, Kitakyushu/Japan, pp.468-469, ⟨10.1109/ICHIS.2004.87⟩
...
inria-00000210v1  Conference papers
Raghav ArasAlain DutechFrançois Charpillet. Cooperation through communication in decentralized Markov games
International Conference on Advances in Intelligent Systems - Theory and Applications - AISTA'2004, Nov 2004, Luxembourg-Kirchberg/Luxembourg
...
inria-00000212v1  Conference papers
Raghav ArasAlain Dutech. Apprentissage par renforcement et jeux stochastiques à information incomplète
Cinquièmes Journées Nationales sur Processus Décisionnel de Markov et Intelligence Artificielle - PDMIA'05, Jun 2005, Lille/France
inria-00000214v1  Conference papers
Vincent CridligRadu StateOlivier FestorJean-François Leroy. Radius-Based SNMP Authorization
9th IFIP/IEEE International Symposium on Integrated Network Management - IM 2005 Application Session, May 2005, Nice, France
inria-00000215v1  Conference papers
Vincent CridligRadu StateOlivier Festor. Architecture de sécurité fondée sur Radius pour le plan de gestion de réseau
4ème Conférence sur la Sécurité et Architectures Réseaux - SAR 2005, France Telecom R&D, GET/INT (Groupe des Ecoles de Télécommunications/Institut National des Télécommunications), Jun 2005, Batz sur Mer, France, pp.57--66
inria-00000213v1  Conference papers
Vincent CridligRadu StateOlivier Festor. An Integrated Security Framework for XML based Management
9th IFIP/IEEE International Symposium on Integrated Network Management - IM 2005, May 2005, Nice, France, pp.587--600
...
inria-00000222v1  Journal articles
Thomas Voegtlin. Recursive Principal Components Analysis
Neural Networks, Elsevier, 2005, 18 (8), pp.1051--1063
inria-00000224v1  Book sections
Vincent Chevrier. From Self-Organized Systems to Collective Problem Solving
Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli. Engineering Societies in the Agents World V: 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers, 3451 (3451), Springer-Verlag GmbH, pp.222-230, 2005, Lecture Notes in Computer Science, 0302-9743. ⟨10.1007/11423355_16⟩
inria-00000226v1  Conference papers
Marie-Caroline CotelVincent ThomasChristine BourjotDidier DesorVincent Chevrier et al.  Processus cognitifs et différentiation sociale de groupes de rats: intérêt de la modélisation multi-agent
6ème Colloque Jeunes Chercheurs en Sciences Cognitives - CJC'2005, May 2005, Bordeaux/France
inria-00000227v1  Conference papers
Rémi BadonnelRadu StateOlivier Festor. Management of Mobile Ad-Hoc Networks: Evaluating the Network Behavior
9th IFIP/IEEE International Symposium on Integrated Network Management - IEEE IM'2005, Seraphin Calo, Roberto Kung, May 2005, Nice, France, pp.17-30
inria-00000228v1  Conference papers
Rémi BadonnelRadu StateOlivier Festor. Monitoring End-to-End Connectivity in Mobile Ad-Hoc Networks
4th IEEE International Conference on Networking - ICN'2005, Apr 2005, France, pp.83-90
...
inria-00000229v1  Conference papers
Ustun YildizOlivier PerrinClaude Godart. On automating networked enterprise management
International Workshop on Enterprise and Networked Enterprises Interoperability - ENEI'2005, Sep 2005, Nancy/France, pp.363-374, ⟨10.1007/11678564_32⟩
inria-00000231v1  Conference papers
Rémi BadonnelRadu StateOlivier FestorAndré Schaff. Gestion des réseaux mobiles ad-hoc : évaluer l'impact des noeuds au sein du réseau
11ème Colloque Francophone sur L'Ingénierie des Protocoles - CFIP'2005, Richard Castanet, Mar 2005, Bordeaux, France, pp.333-348
inria-00000235v1  Journal articles
Rémi BadonnelRadu StateOlivier FestorAndré Schaff. A Framework for Optimizing End-to-End Connectivity Degree in Mobile Ad-Hoc Networks
Journal of Network and Systems Management, Springer Verlag, 2005, 13 (4)
...
inria-00000238v1  Conference papers
Nicolas Rougier. Hippocampal Auto-Associative Memory
International Joint Conference on Neural Networtks - IJCNN'01, Jul 2001, United States, Washington D.C
inria-00000239v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Zuwala. A hybrid approach to detect graphical symbols in documents
6th International Workshop on Document Analysis Systems - DAS'2004, Sep 2004, Florence/Italy, pp.342-353, ⟨10.1007/b100557⟩
inria-00000240v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Girardeau-Montaut. Mesures de rectangularité et d'ellipticité à partir de la transformée de Radon
4ème Colloque International Francophone sur l'Ecrit et le Document - CIFED'2002, Oct 2002, Hammamet/Tunisie, pp.265-274
...
inria-00000243v1  Conference papers
Adnene GuabtniFrançois CharoyClaude Godart. Customizable Isolation in Transactional Workflow
First International Conference on Interoperability of Enterprise Software and Applications - INTEROP-ESA'2005, University of Geneva, Switzerland, Feb 2005, Geneva/Switzerland, pp.197-202
hal-00008804v1  Conference papers
Dominique Larchey-Wendling. Combining proof-search and counter-model construction for deciding Gödel-Dummett logic
18th International Conference on Automated Deduction - CADE 18, Jul 2002, Copenhagen, Denmark. pp.94-110
hal-00008806v1  Conference papers
Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics
Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩
hal-00008808v1  Conference papers
Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation
Workshop on Disproving, IJCAR 2004, 2004, Ireland
hal-00008811v1  Conference papers
Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation
First APPSEM II Workshop, 2003, Nottingham, United Kingdom
...
inria-00000233v1  Conference papers
Julien VitayNicolas RougierFrédéric Alexandre. Reducing connectivity by using cortical modular bands
European Symposium on Artificial Neural Networks, 2004, Bruges, Belgium
...
inria-00000244v1  Journal articles
Nicolas Rougier. Dynamic Neural Field with Local Inhibition
Biological Cybernetics (Modeling), Springer Verlag, 2006, 94 (3), pp.169-179. ⟨10.1007/s00422-005-0034-8⟩
inria-00000145v1  Book sections
Julien VitayNicolas RougierFrédéric Alexandre. A distributed model of spatial visual attention
S. Wermter, G. Palm and M. Elshaw. Biomimetic Neural Learning for Intelligent Robotics, 3575 (3575), Springer-Verlag, pp.54-72, 2005, Lecture Notes in Computer Science, 3-540-27440-5
inria-00000250v1  Conference papers
Claire GardentEric Kow. Generating and selecting paraphrases
10th European Workshop on Natural Language Generation - ENLG'05, 2005, Aberdeen/Scotland
inria-00000251v1  Conference papers
Claire GardentYannick Parmentier. Large scale semantic construction for Tree Adjoining Grammar
Logical Aspects in Computational Linguistics - LACL'05, 2005, Bordeaux/France, pp.131-146
...
inria-00000256v1  Conference papers
Azim RoussanalyBenoît CrabbéJérôme Perrin. Premier bilan de la participation du LORIA à la campagne d'évaluation EASY
12e Conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN 2005, ATALA, Jun 2005, Dourdan, France
...
inria-00000246v1  Conference papers
Adnene GuabtniFrançois CharoyClaude Godart. Spheres of isolation: adaptation of isolation levels to transactional workflow
Third International Conference on Business Process Management - BPM'2005, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications, Sep 2005, Nancy/France, pp. 458 - 463, ⟨10.1007/11538394⟩
hal-00008868v1  Conference papers
Jean-Claude JunquaChristophe CerisaraLuca RigazioDavid Kryze. Environment-adaptive algorithms for robust speech recognition
International Workshop on Hands-Free Speech Communication - HSC 2001, 2001, Kyoto, Japan. pp.4
inria-00000263v1  Journal articles
Guy BernardJalel Ben-OthmanLuc BouganimGérôme CanalsBruno Defude et al.  Mobilité et bases de données : Etat de l'art et perspectives
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2003, 22 (4), pp.497--518
inria-00000258v1  Journal articles
Mathieu D’aquinChristophe BouthierSébastien BrachaisJean LieberAmedeo Napoli. Knowledge Editing and Maintenance Tools for a Semantic Portal in Oncology
International Journal of Human-Computer Studies, Elsevier, 2005, 62, pp.619-638
inria-00000269v1  Journal articles
Bartlomiej BlaszczyszynRené Schott. Approximate Decomposition of Some Moduled - Poisson Voronoï Tessellations
Advances in Applied Probability, Applied Probability Trust, 2003, 35 (4), pp.847-862. ⟨10.1239/aap/1067436322⟩
inria-00000270v1  Journal articles
Nadine Guillotin-PlantardRené Schott. Distributed Algorithms with Dynamical Random Transitions
Random Structures and Algorithms, Wiley, 2002, 21 (3-4), pp.371-396. ⟨10.1002/rsa.20091⟩