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
  1. Search


...
inria-00071208v1  Reports
Mongi Abdelmoula, Neha Jha, Ashok Anand, Isabelle Réchiniac. Implementation of IP-MIB Modules for IPv4 and IPv6 protocol
[Technical Report] RT-0271, INRIA. 2002, pp.199
...
inria-00107574v1  Conference papers
Imine Abdessamad, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00100923v1  Conference papers
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. Higher-Order" Mathematics in B
2nd International Conference of B and Z Users - ZB'2002, D. Bert, J.P. Bowen, M.C. Henson, K. Robinson, Jan 2002, Grenoble, France, pp.370-393
inria-00098969v1  Journal articles
Mohamed Afify, Yifan Gong, Jean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
...
inria-00100887v1  Journal articles
Pankaj K. Agarwal, Thérèse Biedl, Sylvain Lazard, Steve Robbins, Subhash Suri et al.  Curvature-Constrained Shortest Paths in a Convex Polygon
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2002, 31 (6), pp.1814-1851. ⟨10.1137/S0097539700374550⟩
inria-00100962v1  Conference papers
Riad Aggoune, Marie-Claude Portmann. A New Heuristic for the Flow Shop Scheduling Problem with Availability Constraints
International Symposium on Combinatorial Optimization - CO'02, Apr 2002, Paris, France, 1 p
inria-00100961v1  Conference papers
Riad Aggoune, Marie-Claude Portmann. A heuristic approach for the job shop scheduling problem with availability constraints
XV Conference of the European Chapter on Combinatorial Optimization - ECCO'2002, ECCO, May 2002, Lugano, Switzerland, 1 p
inria-00100979v1  Reports
Ahmed Ait Ali. Sécurité pour l'informatique ambiante
[Stage] A02-R-463 || ait_ali_02a, 2002
...
inria-00107628v1  Conference papers
Rim Al Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
...
inria-00098768v1  Conference papers
Rim Al Hulou, Amedeo Napoli, Emmanuel Nauer. Objets semi-structurés, classes polythétiques et classification
Septièmes journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, pp.299-306
...
inria-00099422v1  Conference papers
Rim Al Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Medina Ramirez et al.  Une plate-forme XML pour représenter des documents et leur contenu pour la mise en oeuvre du Web sémantique
Journées scientifiques Web sémantique, Oct 2002, Ivry, France, 7 p
...
inria-00099406v1  Conference papers
Rim Al Hulou, Amedeo Napoli. Combining XML and DL for describing and querying documents
International Workshop on Description Logics - DL'2002, 2002, Toulouse, France, 8 p
hal-00922292v1  Conference papers
Rim Al-Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Medina Ramirez et al.  Three knowledge representation formalisms for content-based representation of documents
Proc. KR 2002 workshop on Formal ontology, knowledge representation and intelligent systems for the world wide web (SemWeb), Apr 2002, Toulouse, France. No pagination
inria-00100743v1  Journal articles
Miguel Alabau, Lhassane Idoumghar, René Schott. New Hybrid Genetic Algorithms for the Frequency Assignment Problem
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (1), pp.27-34. ⟨10.1109/11.992851⟩
inria-00098830v1  Conference papers
Félix Albu, Dominique Martinez. The Application of Support Vector Machines with Gaussian Kernels for Overcoming Co-channel Interference
IEEE Workshop on Neural Networks for Signal Processing IX, Aug 1999, Madison, Wisconsin, U.S.A, pp.49-57
...
inria-00107586v1  Conference papers
Frédéric Alexandre. Neurosymbolic Integration for Industrial Applications
Human Centered Processes - HCP'99, 10th mini-Euro conference, 1999, Brest, France, pp.469-474
inria-00147556v1  Book sections
Frédéric Alexandre. Extraction d'invariants et prise en compte de la variabilité dans les réseaux de neurones artificiels
J. Lautrey. Invariants et variabilité dans les sciences cognitives, Éditions de la Maison des sciences de l'homme, 10 p, 2002, Cognitique
inria-00100793v1  Conference papers
Frédéric Alexandre. Different Levels of Time for Artificial Models and Biological Mechanisms
7th International Conference on Simulation of Adaptive Behavior - SAB'02, Aug 2002, Edinburgh UK, 1 p
...
inria-00107840v1  Reports
Francis Alexandre, Khaled Bsaïes. Stratégies de dérivations de programmes logiques
[Interne] 99-R-253 || alexandre99b, 1999, 14 p
...
inria-00107798v1  Conference papers
Luís Almeida, Miguel Leon-Chavez, José Alberto Fonseca, Jean-Pierre Thomesse. Real time communications in manufacturing
5th International Conference on Information System Analysis & Synthesis - ISAS'99, 1999, Orlando/USA, 8 p
inria-00100951v1  Conference papers
Mohamed Ali Aloulou, Marie-Claude Portmann, Antony Vignier. Predictive-Reactive Scheduling for the Single Machine Problem
Eighth International Workshop on Project Management and Scheduling - PMS 2002, Apr 2002, Valencia, Spain, pp.39-42
inria-00100949v1  Journal articles
Mohamed Ali Aloulou, Marc Sevaux, André Rossi, Marie-Laure Espinouse, Aziz Moukrim et al.  Flexibilité et Robustesse en Ordonnancement
Bulletin de la ROADEF, Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2002, 3 p
inria-00100953v1  Conference papers
Mohamed Ali Aloulou. On the reactive scheduling design using flexible predictive schedules
IEEE International Conference on Systems Mans and Cybernetics - SMC 2002, Oct 2002, Hammamet, Tunisie, 6 p
inria-00100901v1  Journal articles
Gülgün Alpan, Mohsen A. Jafari. Synthesis of a closed-loop combined plant and controller model
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2002, 32 (2), pp.163-175. ⟨10.1109/3477.990873⟩
inria-00100895v1  Conference papers
Gülgün Alpan, Bruno Gaujal. Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
IEEE International Conference on Systems, Man and Cybernetics 2002 - IEEE SMC 2002, 2002, Hammamet/Tunisia
inria-00100922v1  Conference papers
Ernst Althaus, Alexander Bockmayr, Matthias Elf, Thomas Kasper, Michael Jünger et al.  SCIL - Symbolic Constraints in Integer Linear Programming
10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87
inria-00098807v1  Conference papers
Eitan Altman, Sandjai Bhulai, Bruno Gaujal, Arie Hordijk. Optimal Routing to M parallel queues with no buffers
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
inria-00100899v1  Journal articles
Eitan Altman, Bruno Gaujal, Arie Hordijk. Regular Ordering and Applications in Control Policies
Discrete Event Dynamic Systems, Springer Verlag, 2002, 12 (2), pp.187-210
inria-00100967v1  Conference papers
Henri Amet. Placements de formes pour l'industrie
4ème Congrès de la Société Française de Recherche Opérationnelle et Aide à la Décision, Irène Charon et Olivier Hudry, Feb 2002, Paris, France, pp.31-32
...
inria-00099408v1  Conference papers
Marilisa Amoia, Claire Gardent, Stefan Thater. Using set constraints to generate distinguishing descriptions
7th International Workshop on Natural Language Understanding and Logic Programming - NLULP'02, Jul 2002, Copenhagen, Denmark, 15 p
inria-00101004v1  Reports
Ashok Anand. Implementation of SNMP Agent for New version Internet protocol IPv6
[Internship report] A02-R-466 || anand02a, 2002, 120 p
hal-02303802v1  Conference papers
Didier Anciaux, Munerato Francis, Daniel Roy, Francois B. Vernadat, Xiaolan Xie. INTAS Project 2183: Concurrent Design of Flexible Manufacturing Systems: Control and Command
International Conference on Industrial Logistics, Jun 1999, Saint Perterbourg, Russia
inria-00098823v1  Conference papers
Laurent Andrey, Olivier Festor, Nizar Ben Youssef. Intégration WBEM/RGT Conception et mise en oeuvre dans les environnements MODERES et COJ
4ème Colloque Francophone sur la Gestion des Réseaux et des Services - GRES'99, 1999, Montréal, Canada, 10 p
inria-00100874v1  Book sections
René Anxionnat, Luc Picard, Serge Bracard, Joao Melo Neto. L'angiographie 3D en neuroradiologie: quelle technique pour l'avenir
Blum, Alain. Scanographie Volumique Multicoupe, principes, applications, perspectives., Masson, pp.32-38, 2002
inria-00100915v1  Conference papers
Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna et al.  The AVISS Security Protocol Analysis Tool
14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353
inria-00100964v1  Book sections
Christian Artigues, Cyril Briand, Marie-Claude Portmann, François Roubellat. Pilotage d'atelier basé sur un ordonnancement flexible
Patrick Pujo et Jean-Paul Kieffer. Méthodes du pilotage des systèmes de production, Hermes Lavoisier, pp.61-97, 2002, IC2 Productique
inria-00100748v1  Conference papers
Isabelle Réchiniac, André Schaff. Service de Découverte Dynamique de Topologie des réseaux IPv6
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'2002, Abdel Obaid, 2002, Montréal, Canada, 14 p
...
inria-00069903v1  Reports
Isabelle Réchiniac, Olivier Festor. Current Status of IPv6 Management
[Technical Report] RT-0274, INRIA. 2002, pp.32
inria-00100741v1  Conference papers
Isabelle Réchiniac, Olivier Festor. A Hierarchical Topology Discovery Service for IPv6 Networks
Network Operations and Management Symposium - NOMS 2002, IEEE/IFIP, 2002, Florence, Italie, 14 p
inria-00100982v1  Journal articles
Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
...
inria-00107797v1  Conference papers
Jean-François Aubry, Françoise Simonot-Lion. Approche pluridisciplinaire de la sûreté des systèmes
3ème Congrès International Pluridisciplinaire - QUALITA'99, 1999, Paris/France, 6 p
...
inria-00071933v1  Reports
Daniel Augot, Magali Bardet, Jean-Charles Faugère. Efficient Decoding of (binary) Cyclic Codes beyond the correction capacity of the code using Gröbner bases
[Research Report] RR-4652, INRIA. 2002
...
inria-00071926v1  Reports
Olivier Aycard, Jean-François Mari, Richard Washington. Learning to automatically detect features for mobile robots using second-order Hidden Markov Models
[Research Report] RR-4659, INRIA. 2002, pp.32
inria-00100900v1  Journal articles
François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real-Time Systems Using the (Max,PLus) Algebra With Applications in Robotics
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380
...
inria-00072883v1  Reports
François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics
[Research Report] RR-3778, INRIA. 1999
hal-00293496v1  Conference papers
Karim Baïna, François Charoy, Claude Godart, Daniela Grigori, Saad El Hadri et al.  CORVETTE : a Cooperative Workflow Development Experiment
3rd IFIP Working Conference on Infrastructures for Virtual Enterprises - PRO-VE'2002, 2002, Sesimbra, Portugal. pp.634
...
inria-00099414v1  Conference papers
Karim Baïna, Samir Tata, Khalid Benali. Un modèle d'interaction de services pour la coopération des procédés
7ème Conférence Maghrébine des Sciences Informatiques - MCSEAI'02, 2002, Annaba, Algérie, pp.189-201
...
inria-00107828v1  Reports
Karim Baïna. Formalisation et Réalisation d'un Service de Négociation en Ingénierie Concourante
[Stage] 99-R-433 || baina99a, 1999, 53 p
...
inria-00107554v1  Conference papers
Karim Baïna, Jamal Baïna, Salah Baïna, Samira Baïna, Christophe Humbert et al.  Bio-expert : Knowledge Management Platform and Experiment for Bio-Medical e-Learning
4th International Workshop on Enterprise Networking and Computing in Health Care Industry, Technically co-sponsored by IEEE - HEALTHCOM'02, Jun 2002, Nancy/France, pp.138-141
inria-00147550v1  Conference papers
Karim Baïna, Schahram Dustdar. Web-Services Coordination Model
Second International Workshop on Cooperative Internet Computing, in cooperation with VLDB 2002 - CIC'2002, Hong Kong Polytechnic University, 2002, Hong Kong, China, 13 p
inria-00101057v1  Reports
Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence Wolsey. On unions and dominants of polytopes
[Intern report] A02-R-104 || balas02a, 2002, 23 p
inria-00100869v1  Conference papers
Ghizlane Bana, Roman Kolpakov, Mathieu Giraud, Ralph Rabbat, Gregory Kucherov. mreps: a program for exhaustive search for tandem repeats in DNA sequences
Sixth Annual International Conference on Research in Computational Biology - RECOMB 2002, Apr 2002, Washington, DC, US
inria-00100801v1  Conference papers
Dominique Barth, Johanne Cohen, Paraskevi Fragopoulou, Gérard Hébuterne. Wavelengths assignment on a ring all-optical metropolitan area network
3rd Workshop on Approximation and Randomization Algorithms in Communication Networks - ARACNE'2002, Sep 2002, Rome, Italy, 9 p
inria-00098924v1  Conference papers
Abdel Belaïd. The retroconversion in Digital Libraries
Conférence internationale sur les Sciences de l'information - CISI'1999, 1999, Tunis, Tunisia
inria-00108053v1  Conference papers
Abdel Belaïd, Amos Abayomi David. The use of Information Retrieval Tools in Automatic Document Modelling and Recognition
Tenth International Workshop on Database & Expert Systems Applications - DAUd'99, 1999, Florence, Italia, pp.522-526
inria-00098840v1  Reports
Abdel Belaïd, Laurent Pierron. Reconnaissance de tables de matières
[Contrat] 99-R-220 || belaid99b, 1999, 19 p
...
inria-00133716v1  Book sections
Yolande Belaïd, Abdel Belaïd. Form Analysis by Neural Classification of Cells
S. -W. Lee and Y. N akano. Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS'98. Selected Papers, 1655 (1655), Springer Verlag, pp.58-71, 1999, Lecture Notes in Computer Science
inria-00100853v1  Conference papers
Abdel Belaïd. Lecture personnalisée, De la rétroconversion à la réédition sur supports électroniques
Journées Francophones D'Accès Intelligent aux Documents Multimédias sur l'Internet - MediaNet'2002, 2002, Sousse, Tunisie
inria-00100718v1  Conference papers
Abdel Belaïd, Laurent Pierron. A generic approach for OCR performance evaluation
Electronic Imaging, SPIE, 2002, San Jose, California, 5 p
...
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-00100826v1  Conference papers
David Bellot, Anne Boyer, François Charpillet. Designing smart agent based telemedicine systems using dynamic bayesian networks: an application to kidney disease people
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - HEALTHCOM 2002, 2002, Nancy, France, 8 p
...
tel-01754389v1  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
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10248⟩
inria-00100825v1  Conference papers
David Bellot, Anne Boyer, François Charpillet. A new definition of qualified gain in a data fusion
The Fifth International Conference on Information Fusion - FUSION'2002, 2002, Annapolis, Maryland, USA, 8 p
...
inria-00107618v1  Reports
Anis Ben Hellel. Architecture SSM sécurisée utilisant un proxy IGMP
[Stage] A02-R-442 || ben_hellel02a, 2002, 67 p
...
inria-00107629v1  Conference papers
Khalid Benali, Grégory Bourguin, Bertrand David, Alain Derycke, Christine Ferraris. Collaboration/Coopération
Information Interaction Intelligence - Actes des 2èmes assises du GdR I3, Gérome Canals, Dec 2002, Nancy, France, 17 p
inria-00100841v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Hidden Markov modeling techniques
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
inria-00100835v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Keyword Spotting using Support Vector Machines
Fifth International Conference on Text, Speech and Dialogue - TSD'2002, Sep 2002, Brno, Czech Republic, 8 p
inria-00100842v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Support Vector Machines for Keyword Spotting
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
inria-00100833v1  Conference papers
Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Support Vector Machines
2nd WSEAS International Conference on Signal, Speech and Image Processing - WSEAS ICOSSIP'2002, Sep 2002, Koukounaries, Skiathos Island, Greece, 6 p
inria-00100963v1  Conference papers
Abdelghani Benharref, Rachida Dssouli, Zineb Berbich, Isabelle Chrisment. Formal Specifications, TTCN and executable test cases for main IPv6 protocols
International Workshop on Communication Software Engineering - IWCSE'2002, Dec 2002, Marrakech, Morocco
inria-00101005v1  Journal articles
Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
...
inria-00099420v1  Conference papers
Sandra Berasaluce, Claude Laurenço, Amedeo Napoli. Extraction de connaissances à partir de bases de données de réactions en chimie organique
Treizième journées francophones d'ingénierie des connaissances - IC'2002, Jun 2002, Rouen, France, pp.151-162
inria-00098820v1  Journal articles
Marie-Odile Berger, Brigitte Wrobel-Dautcourt, Sylvain Petitjean, Gilles Simon. Mixing Synthetic and Video Images of an Outdoor Urban Environment
Machine Vision and Applications, Springer Verlag, 1999, 11 (3), pp.145-159
inria-00098833v1  Conference papers
Marie-Odile Berger, Goetz Winterfeldt, Jean-Paul Lethor. Contour Tracking in Echocardiographic Sequences without Learning Stage : Application To the 3D Reconstruction of The Beating Left Ventricule
International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99, 1999, Cambridge, England, pp.508--515
inria-00098829v1  Conference papers
Amine Bermak, Dominique Martinez. Digital VLSI implementation of a multi-precision neural network classifier
6th International Conference on Neural Information Processing - ICONIP'99, Nov 1999, Perth, Australia, 6 p
...
inria-00107570v1  Conference papers
Amine Bermak, M. Hopfinger, Dominique Martinez. Image segmentation using Spiking Pixel Architecture
Special session on Next Generation Image Sensors for Multimedia applications - SCI'2002, Jul 2002, Orlando, Florida, USA, 5 p
...
inria-00099444v1  Reports
Nicolas Bernard. Etablissement de tests permettant de mesurer l'impact sur les performances de la sécurisation d'IPv6 par IPsec
[Stage] A02-R-189 || bernard02a, 2002, 48 p
inria-00098952v1  Conference papers
Ahmed-Reda Berrah, Rafael Laboissière. SPECIES: an evolutionary model for the emergence of phonetic structures in an artificial society of speech agents
5th European Conference on Artificial Life - ECAl'99, 1999, Lausanne, Suisse, pp.674-678
inria-00098835v1  Conference papers
François Bertault, Paul Zimmermann. Unranking of unlabelled decomposable structures
Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99, 1999, Montpellier/France, pp.12
inria-00108056v1  Journal articles
François Bertault, Olivier Ramaré, Paul Zimmermann. On Sums of Seven Cubes
Mathematics of Computation, American Mathematical Society, 1999, 68 (227), pp.1303-1310
...
inria-00099419v1  Reports
Clara Bertolissi. Traduction des Combinatory Reduction Systems en Rho-Calcul
[Stage] A02-R-497 || bertolissi02a, 2002, 39 p
inria-00101044v1  Journal articles
Yves Bertot, Nicolas Magaud, Paul Zimmermann. A Proof of GMP Square Root
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
...
inria-00072113v1  Reports
Yves Bertot, Nicolas Magaud, Paul Zimmermann. A proof of GMP square root using the Coq assistant
[Research Report] RR-4475, INRIA. 2002
...
inria-00098772v2  Conference papers
Thérèse Biedl, Erik Demaine, Martin Demaine, Sylvain Lazard, Anna Lubiw et al.  Locked and Unlocked Polygonal Chains in Three Dimensions
Symposium on Discrete Algorithms - SODA'99, Jan 1999, Baltimore, United States. pp.866 - 867
...
inria-00098832v1  Conference papers
Therese C. Biedl, Erik D. Demaine, Sylvain Lazard, Steven M. Robbins, Michael A. Soss. Convexifying Monotone Polygons
10th Annual International Symposium on Algorithms & Computation - ISAAC'99, Kamakoti V (IMSC, India) Rangarajan K (MCC, India) Rama R (IIT, Madras, India) Boopal E (IIT, Madras, India), Dec 1999, Chennai, India. 10 p, ⟨10.1007/3-540-46632-0_42⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/