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-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-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-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-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-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-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-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-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-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-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-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-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-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-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⟩
inria-00100828v1  Conference papers
Brigitte BigiSalma JamoussiKamel Smaïli. Dynamic Topic Identification : Introduction of Trigger pairs in the Cache Model
International Workshop Speech and Computer 2002 - SPECOM'2002, 2002, St-Petersburg, Russia, 4 p
inria-00108051v1  Journal articles
Yuri BiluGuillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
inria-00100792v1  Conference papers
Nicolas BiriDidier Galmiche. A Modal Linear Logic for Distribution and Mobility - extended abstract
Workshop on Linear Logic - FLOC'02, 2002, Copenhagen, Danemark, 6 p
inria-00107573v1  Conference papers
Julia BitchevaOlivier PerrinClaude Godart. Cooperative Process Coordination
6th IASTED International Conference on Software Engineering and Applications - SEA'2002, IASTED, Nov 2002, Cambridge, MA, USA, pp.218-240
inria-00101054v1  Reports
Julia BitchevaOlivier PerrinClaude Godart. Cross-Organizational Processes Coordination
[Intern report] A02-R-046 || bitcheva02a, 2002, 9 p
inria-00100891v1  Journal articles
Patrick BlackburnMaarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288
inria-00100892v1  Conference papers
Patrick BlackburnMaarten Marx. Tableaux for Quantified Hybrid Logic
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2002, Jul 2002, Copenhagen, Denmark, pp.38-52
hal-02759166v1  Conference papers
Frédéric BlaiseLaurent Saint‐andréJ. M. LebanJean-Claude GégoutJean-Christophe Hervé. Connection between forest inventory data and geographic information systems for assessing timber value at the stand level
IUFRO 2002 - International Union of Forestry Research Organizations Working Party S5.01.04.4, Sep 2002, Harrison Hot Springs, Canada
inria-00098949v1  Conference papers
D. BlampainSylviane DescotteJean-Luc HussonHans RohdeLaurent Romary et al.  Le projet européen DHYDRO : la normalisation à l'épreuve d'un forum terminologique
Conférence sur la Coopération dans le Domaine de la Terminologie en Europe, 1999, Paris, France. 8 p
inria-00100711v1  Journal articles
Richard BluteFrançois LamarchePaul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
inria-00100783v1  Conference papers
Alexander BockmayrArnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems
18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, pp.85-99
inria-00099013v1  Conference papers
Alexander BockmayrThomas Kasper. Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming
Journées Francophones de Programmation Logique et Programmation par Contraintes - JFPLC'99, 1999, Lyon, France, pp.141-142
inria-00099171v1  Conference papers
Alexander BockmayrYannis Dimopoulos. Integer programs and valid inequalities for planning problems
5th European Conference on Planning - ECP'99, 1999, Durham, UK, pp.239-251
inria-00099018v1  Journal articles
Alexander BockmayrFriedrich EisenbrandMark HartmannAndreas S. Schulz. On the Chvátal Rank of Polytopes in the 0/1 Cube
Discrete Applied Mathematics, Elsevier, 1999, 98 (1-2), pp.21-27
inria-00098761v1  Conference papers
Yann BonifaceFrédéric AlexandreStéphane Vialle. A bridge between two paradigms for parallelism : Neural Networks and general purpose MIMD computers.
International Joint Conference on Neural Networtks - IJCNN'99, 1999, Washington, DC, 6 p
inria-00099014v1  Conference papers
Yann BonifaceFrédéric AlexandreStéphane Vialle. A library to implement neural networks on MIMD machines
Euro-Par'99 Parallel Processing, CERFACS & ENSEEIHT - IRIT., 1999, Toulouse, France, pp.935-938
inria-00107587v1  Conference papers
Anne BonneauParham Mokhtari. A phonetically-guided diagnosis of auditory deficiency based on synthetic speech stimuli
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, Technical University of Budapest & The Scientific Society for Telecommunications, 1999, Budapest, Hungary, pp.559-562
inria-00098985v1  Conference papers
Anne BonneauYves LaprieJacqueline Vaissière. Hypertext atlas of speech sounds
Method & Tool Innovations for Speech Science Education, Worshop of the European Speech Communication Association, Apr 1999, none, pp.65-68
inria-00100876v1  Conference papers
Anne BonneauParham Mokhtari. A platform for the diagnosis of auditory deficiency
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - Healthcom 2002, Jun 2002, Nancy, France, 4 p
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
inria-00100974v1  Journal articles
Peter BorovanskyClaude KirchnerHélène KirchnerPierre-Etienne Moreau. ELAN from a rewriting logic point of view
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
inria-00000271v1  Journal articles
Nazeih BotrosYang JianPhilip FeinsilverRené Schott. Hardware Realization of Krawtchouk Transform using VDHL Modeling and FPGAs
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1306-1312
inria-00107559v1  Conference papers
Najoua BouakaAmos Abayomi DavidOdile Thiery. Contribution to the understanding of explanatory factors for the decision-maker problem within the framework of economic intelligence
6th World Multiconference on Systimics, Cybernetics and Informatics - SCI' 2002, 2002, Orlando, Florida, USA, 5 p