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


...
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaë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 AbrialDominique CansellGuy 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 AfifyYifan GongJean-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. AgarwalThérèse BiedlSylvain LazardSteve RobbinsSubhash 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 AggouneMarie-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 AggouneMarie-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 HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina 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 HulouAmedeo NapoliEmmanuel 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-00099406v1  Conference papers
Rim Al HulouAmedeo 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-HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina 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 AlabauLhassane IdoumgharRené 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 AlbuDominique 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-00107798v1  Conference papers
Luís AlmeidaMiguel Leon-ChavezJosé Alberto FonsecaJean-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 AloulouMarie-Claude PortmannAntony 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 AloulouMarc SevauxAndré RossiMarie-Laure EspinouseAziz 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 AlpanMohsen 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 AlpanBruno 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 AlthausAlexander BockmayrMatthias ElfThomas KasperMichael 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 AltmanSandjai BhulaiBruno GaujalArie 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 AltmanBruno GaujalArie 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 AmoiaClaire GardentStefan 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 AnciauxMunerato FrancisDaniel RoyFrancois B. VernadatXiaolan 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 AndreyOlivier FestorNizar 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é AnxionnatLuc PicardSerge BracardJoao 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 ArmandoDavid BasinMehdi BouallaguiYannick ChevalierLuca 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 ArtiguesCyril BriandMarie-Claude PortmannFranç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échiniacAndré 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échiniacOlivier Festor. Current Status of IPv6 Management
[Technical Report] RT-0274, INRIA. 2002, pp.32
inria-00100741v1  Conference papers
Isabelle RéchiniacOlivier 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 AubryFabrice RouillierMohab 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 AubryFranç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-00100900v1  Journal articles
François BaccelliBruno GaujalDaniel 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
hal-00293496v1  Conference papers
Karim BaïnaFrançois CharoyClaude GodartDaniela GrigoriSaad 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ïnaSamir TataKhalid 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-00107554v1  Conference papers
Karim BaïnaJamal BaïnaSalah BaïnaSamira BaïnaChristophe 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ïnaSchahram 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 BalasAlexander BockmayrNicolai PisarukLaurence Wolsey. On unions and dominants of polytopes
[Intern report] A02-R-104 || balas02a, 2002, 23 p
inria-00100869v1  Conference papers
Ghizlane BanaRoman KolpakovMathieu GiraudRalph RabbatGregory 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 BarthJohanne CohenParaskevi FragopoulouGé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ïdAmos 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ïdLaurent Pierron. Reconnaissance de tables de matières
[Contrat] 99-R-220 || belaid99b, 1999, 19 p
...
inria-00133716v1  Book sections
Yolande BelaïdAbdel 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ïdLaurent Pierron. A generic approach for OCR performance evaluation
Electronic Imaging, SPIE, 2002, San Jose, California, 5 p
inria-00100826v1  Conference papers
David BellotAnne BoyerFranç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
inria-00100825v1  Conference papers
David BellotAnne BoyerFranç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 BenaliGrégory BourguinBertrand DavidAlain DeryckeChristine 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 BenayedDominique FohrJean-Paul HatonGé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 BenayedDominique FohrJean-Paul HatonGé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 BenayedDominique FohrJean-Paul HatonGé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 BenayedDominique FohrJean-Paul HatonGé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 BenharrefRachida DssouliZineb BerbichIsabelle 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 BenitoWolfgang CreyaufmuellerJuan Luis VaronaPaul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
...
inria-00099420v1  Conference papers
Sandra BerasaluceClaude LaurençoAmedeo 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 BergerBrigitte Wrobel-DautcourtSylvain PetitjeanGilles 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 BergerGoetz WinterfeldtJean-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 BermakDominique 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 BermakM. HopfingerDominique 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-00098952v1  Conference papers
Ahmed-Reda BerrahRafael 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 BertaultPaul 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 BertaultOlivier 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 BertotNicolas MagaudPaul 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-00098772v2  Conference papers
Thérèse BiedlErik DemaineMartin DemaineSylvain LazardAnna 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. BiedlErik D. DemaineSylvain LazardSteven M. RobbinsMichael 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⟩