Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	tel-00001304v1 Theses Sorin Stratulat. Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français
	tel-00003024v1 Theses Parmentier François. Spécification d'une architecture émergente fondée sur le raisonnement par analogie. Application aux références bibliographiques Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 1998. Français
	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⟩
	tel-00004910v1 Theses Romaric Charton. Des agents intelligents dans un environnement de communication multimédia : Vers la conception de services adaptatifs Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2003. Français
	edutice-00000640v1 Conference papers Marilyne Rosselle, Pierre Gillois, Josette Morinet-Lambert, Franç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 Oubahssi, Monique Grandbastien, Gé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
	sic_00001170v1 Conference papers Hubert Cecotti, Christophe Choisy, Abdel Belaid. Réseau de neurones à topologie dynamique, comparaison avec des invariants pour la reconnaissance de caractères multi-orientés multi-échelles Jun 2004, La Rochelle, France
	hal-00003497v1 Preprints, Working Papers, ... Frédéric Alexandre. Étude de codages catégoriels et métriques de l'information visiospatiale et de leurs conséquences sur les performances des êtres humains et des modèles 2005
	hal-00003940v1 Preprints, Working Papers, ... Olivier Aycard, Jean-François Mari, Richard Washington. Learning to automatically detect features for mobile robots using second-order Hidden Markov Models 2004
	halshs-00003807v1 Conference papers Anne Reboul, Laurent Romary, Bertrand 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 Reboul, Olivier Grisvard, Bertrand 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
	halshs-00003843v1 Other publications Anne Reboul, Bertrand Gaiffe. Représentations mentales et référence 1999
	sic_00001384v1 Conference papers Stéphane Goria, Audrey Knauf, Amos Abayomi David, Philippe Geffroy. Le processus d'Intelligence Economique : Une étude selon le point de vue de l'infomédiaire et des problématiques de recherche d'information Colloque ATELIS (ATELiers d'Intelligence Stratégique) (Poitiers), Jan 2005, France. pp.99-114
	tel-00009190v1 Theses David Bellot. Fusion de données avec des réseaux bayésiens pour la modélisation des systèmes dynamiques et son application en télémédecine Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2002. Français
	inria-00000007v2 Journal articles Jean-François Mari, Florence Le Ber. Temporal and Spatial Data Mining with Second-Order Hidden Markov Models Soft Computing, Springer Verlag, 2006, 10 (5), pp.406 -- 414. ⟨10.1007/s00500-005-0501-0⟩
	inria-00000009v1 Journal articles Thierry Fraichard, Alexis 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 Benaissa, Vincent Lecuire, Francis Lepage, André 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 Peguiron, Odile 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 Mouakher, Francis Alexandre, Khaled 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 Alonso, Philippe Chassaing, Florent Gillet, Svante Janson, Edward 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 Messai, Marie-Dominique Devignes, Malika Smaïl-Tabbone, Amedeo 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 Roy, Szilárd Vajda, Umapada Pal, Bidyut Baran Chaudhuri, Abdel Belaïd. A System for Indian Postal Automation International Workshop on Document Analysis, Umapada Pal, Mar 2005, Kolkata, India
	inria-00000108v1 Journal articles Thomas Voegtlin, Peter Ford Dominey. Linear Recursive Distributed Representations Neural Networks, Elsevier, 2005, 18 (7), pp.878-895
	inria-00000112v1 Conference papers Isabelle Debled-Rennesson, Fabien Feschet, Jocelyne 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 Guabtni, Franç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 Reithinger, Dirk Fedeler, Ashwani Kumar, Elsa Pecourt, Christoph 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 Abrial, Dominique 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 Eng, Annabelle Thibessard, Sébastien Hergalant, Jean-François Mari, Pierre 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-00000143v1 Journal articles Nicolas Rougier, Julien Vitay. Emergence of Attention within a Neural Population Neural Networks, Elsevier, 2005
	inria-00000144v1 Conference papers Julien Vitay, Nicolas Rougier. Using Neural Dynamics to Switch Attention International Joint Conference on Neural Networks - IJCNN'05, Jul 2005, Montreal, Canada
	inria-00000141v1 Journal articles Nicolas Rougier, David Noelle, Todd Braver, John Cohen, Randall 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 Comets, François Delarue, René Schott. Distributed Algorithms in an Ergodic Markovian Environment Random Structures and Algorithms, Wiley, 2007, 30, pp.131-167
	hal-00005853v1 Journal articles Eitan Altman, Bruno Gaujal, Arie 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 Fondrevelle, Ammar Oulamara, Marie-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 Fondrevelle, Ammar Oulamara, Marie-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 Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika 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-00000152v1 Conference papers Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone. Méthode sémantique pour la classification et l'interrogation de sources de données biologiques EGC 2005 - Atelier Modélisation des Connaissances, Jan 2005, Paris
	inria-00000153v1 Conference papers Marie-Dominique Devignes, Nizar Messai, Amedeo Napoli, Shazia Osman, Malika 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-00000159v1 Other publications Vincent Lefèvre. The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor 2005
	inria-00000163v1 Conference papers César Torres-Huitzil, Bernard Girau, Claudio 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-00000171v1 Reports Samir Chouali, Maritta Heisel, Jeanine Souquières. Proving Component Interoperability with B Refinement [Research Report] 2005
	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-00000190v1 Reports Julien Fondrevelle, Ali Allahverdi, Ammar Oulamara, Marie-Claude Portmann. Permutation flowshops with exact time lags to minimize maximum lateness [Intern report] 2005, pp.18
	inria-00000191v1 Conference papers Fabrice Touzain, Sophie Schbath, Isabelle Debled-Rennesson, Bertrand Aigle, Pierre 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 Goria, Amos Abayomi David, Jean-Claude Derniame, Philippe 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-Alt, Amine Akrout, Laurent Romary. Proposals for a normalized representation of Standard Arabic full form lexica International Conference on Machine Intelligence, Nov 2005, Tozeur, Tunisia
	inria-00000196v1 Journal articles Dominique Cansell, Dominique Méry, Cyril Proch. Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement Génie logiciel, C & S, 2005, pp.44-50
	inria-00000199v1 Conference papers Denys Duchier, Joseph Le Roux, Yannick 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 Szer, François Charpillet, Shlomo 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 Szer, Franç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 Szer, François Charpillet, Shlomo 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 Aras, Alain Dutech, Franç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 Aras, Alain Dutech, Franç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 Aras, Alain Dutech, Franç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 Aras, Alain 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 Cridlig, Radu State, Olivier Festor, Jean-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 Cridlig, Radu State, Olivier 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 Cridlig, Radu State, Olivier 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-00000219v1 Reports Fabrice Lauri. Etat de l'art des stratégies multi-agents de patrouille [Interne] lauri05, 2005, pp.9
	inria-00000221v1 Reports Jérôme Bourdellon. Conception et Implémentation d'un plan de gestion basé sur le protocole NetConf [Stage] 2005, pp.30
	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 Cotel, Vincent Thomas, Christine Bourjot, Didier Desor, Vincent 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 Badonnel, Radu State, Olivier 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 Badonnel, Radu State, Olivier 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 Yildiz, Olivier Perrin, Claude 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 Badonnel, Radu State, Olivier Festor, André 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 Badonnel, Radu State, Olivier Festor, André 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 Tabbone, Laurent Wendling, Daniel 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 Tabbone, Laurent Wendling, Daniel 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
	hal-00008798v1 Conference papers Eddy Caron, Frédéric Desprez, Frédéric Suter. Out-of-Core and Pipeline Techniques for Wavefront Algorithms IEEE, 2005, Denver/ USA, pp.9b, ⟨10.1109/IPDPS.2005.318⟩
	inria-00000242v1 Journal articles Claude Chelala, Sandrine Imbeaud, Marie-Dominique Devignes, Rima Zoorob, Charles Auffray. Refined localization of twenty-one genes in subregion p13.1 of human chromosome 1 Cytogenetics and Cell Genetics, S Karger AG, 2001, 92 (3-4), pp.209-212. ⟨10.1159/000056904⟩
	inria-00000241v1 Journal articles Claude Chelala, Marie-Dominique Devignes, Sandrine Imbeaud, Rima Zoorob, David Cox et al. Inconsistencies between maps of human chromosome 22 correlate with increased frequency of disease-related Loci Journal of Biological Systems, World Scientific Publishing, 2002, 10, pp.303-317. ⟨10.1142/S0218339002000743⟩
	inria-00000237v1 Journal articles Nicole-Adeline Fayein, Bernard Stankoff, Charles Auffray, Marie-Dominique Devignes. Characterization of tissue expression and full-length coding sequence of a novel human gene mapping at 3q12.1 and transcribed in oligodendrocytes. Gene, Elsevier, 2002, 289 (1-2), pp.119-129. ⟨10.1016/S0378-1119(02)00507-3⟩
	inria-00000243v1 Conference papers Adnene Guabtni, François Charoy, Claude 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
	inria-00000245v1 Reports Jérémy Fix, Nicolas Rougier, Frédéric Alexandre. Mécanisme connexionniste pour l'anticipation visuelle [Interne] 2005
	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-00008805v1 Conference papers Dominique Larchey-Wendling, Daniel Mery, Didier Galmiche. STRIP: Structural Sharing for Efficient Proof-search 2001, Siena, Italy, pp.696 - 700
	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 Vitay, Nicolas Rougier, Fré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 Vitay, Nicolas Rougier, Fré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 Gardent, Eric Kow. Generating and selecting paraphrases 10th European Workshop on Natural Language Generation - ENLG'05, 2005, Aberdeen/Scotland
	inria-00000251v1 Conference papers Claire Gardent, Yannick 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 Roussanaly, Benoî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 Guabtni, François Charoy, Claude 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 Junqua, Christophe Cerisara, Luca Rigazio, David Kryze. Environment-adaptive algorithms for robust speech recognition International Workshop on Hands-Free Speech Communication - HSC 2001, 2001, Kyoto, Japan. pp.4
	inria-00000259v1 Reports Rémi Badonnel, Radu State, Olivier Festor. Using a Probabilistic Approach for Managing Ad-Hoc Networks [Intern report] 2005, 22 p
	inria-00000260v1 Reports Rémi Badonnel, Radu State, Olivier Festor. Using Information Theoric Measures for Detecting Faulty Behavior in Ad-Hoc Networks [Intern report] 2005, 17 p
	inria-00000263v1 Journal articles Guy Bernard, Jalel Ben-Othman, Luc Bouganim, Gérôme Canals, Bruno 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’aquin, Christophe Bouthier, Sébastien Brachais, Jean Lieber, Amedeo 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 Blaszczyszyn, René 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-Plantard, René Schott. Distributed Algorithms with Dynamical Random Transitions Random Structures and Algorithms, Wiley, 2002, 21 (3-4), pp.371-396. ⟨10.1002/rsa.20091⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :