Skip to Main content Skip to Navigation

inria-00098884v1  Conference papers
Pierre TellierIsabelle Debled-Rennesson. 3D Discrete Normal Vectors
International Conference on Discrete Geometry for Computer Imagery - DGCI'99, 1999, Marne-la-Vallée, France, pp.447-458
inria-00100760v1  Reports
Olivier FestorRob EvansBernard TuyRalf Wolter. 6NET Network Management Initial Architecture
[Contract] A02-R-081 || festor02a, 2002, 19 p
inria-00100860v1  Conference papers
Dominique PoulalhonGilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
inria-00098837v1  Conference papers
Catherine Pilière. A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.421-432
inria-00100735v1  Conference papers
Bruno Scherrer. A connectionist architecture that adpats its representation to complex tasks
International Joint Conference on Neural Networks - IJCNN 2002, 2002, Hilton hawaiian Village, Honolulu, HI, 6 p
inria-00100768v1  Conference papers
Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC
16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
inria-00098865v1  Conference papers
Antony VignierBenoit SonntagMarie-Claude Portmann. A decomposition Method based on priority rules for a parallel-machine scheduling problem
Proceedings of the International conference on Industrial Engineering & Production Management - IEPM'99, FUCAM, 1999, Glasgow, Scotland, pp.163-172
inria-00100810v1  Conference papers
Hassen SallayRadu StateOlivier Festor. A Distributed Management platform for Integrated Multicast Monitoring
8th IEEE/IFIP Network Operations and Management Symposium - NOMS'2002, Mar 2002, Florence, Italie, 13 p
inria-00100816v1  Conference papers
Philippe de Groote. A dynamic programming approach to categorial deduction
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
inria-00101025v1  Conference papers
Sandy MaumusAmedeo NapoliRafik TaouilSophie Visvikis-Siest. A first study of the central role of the analyst in the knowledge discovery process in biology
Poster session at the 10th International Conference on Intelligent Systems for Molecular Biology - ISMB'02, Aug 2002, Edmonton, Canada, 1 p
inria-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
inria-00101069v1  Reports
Olivier Bournez. A Generalization of Equational Proof Theory?
[Intern report] A02-R-333 || bournez02e, 2002, 2 p
inria-00100885v1  Conference papers
Olivier Bournez. A Generalization of Equational Proof Theory?
Second Joint International Workshop on Process Algebras and Performance Modeling / Probabilistic Methods In Verification - PAPM-PROBMIV'02, Jul 2002, Copenhagen, Denmark, pp.207-208
inria-00100729v1  Conference papers
Iadine ChadèsBruno ScherrerFrançois Charpillet. A Heuristic Approach for Solving Decentralized-POMDP : Assessment on the Pursuit Problem
ACM Symposium on Applied Computing - SAC'2002, Mar 2002, Madrid, Spain, 6 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-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-00108065v1  Conference papers
Antony VignierBenoit SonntagMarie-Claude Portmann. A hybrid method for a parallel machine scheduling problem
International Conference on Emerging Technologies on Factory & Automation - ETFA'99, IEEE, 1999, Barcelona, Spain, pp.671-678
hal-01434758v1  Conference papers
Nathalie RevolFabrice Rouillier. A library for arbitrary precision interval arithmetic
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
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-00100959v1  Conference papers
Guillaume ThisselinAntony Vignier. A lower bound computation for the "farmer problem
International Symposium on Combinatorial Optimization - CO'2002, Apr 2002, none, 1 p
inria-00100861v1  Conference papers
Olivier PerrinClaude Godart. A Mail and XML based Protocol to Support Workflow Interoperability
20th IASTED International Conference on Applied Infomatics ,International Symposium on Software Engineering, Databases and Applications - AI 2002, IASTED, 2002, Innsbruck, Austria, 8 p
inria-00098856v1  Journal articles
Claude KirchnerHubert ComonMehmet DincbasJean-Pierre Jouannaud. A Methodological View of Constraint Solving
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
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-00098984v1  Conference papers
David LangloisKamel Smaïli. A New Based Distance Language Model for a Dictation Machine: application to MAUD
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.1779-1782
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-00100997v1  Conference papers
Jean-Charles Faugère. A new efficient algorithm for computing Gröbner bases without reduction to zero
Workshop on application of Groebner Bases 2002, 2002, Catania, Spain
inria-00100996v1  Conference papers
Jean-Charles Faugère. A new efficient algorithm for computing Gröbner bases without reduction to zero
Eighth Rhine Workshop on Computer Algebra -RWCA 2002, 2002, Mannheim, Germany
inria-00100995v1  Conference papers
Jean-Charles Faugère. A new efficient algorithm for computing Gröbner bases without reduction to zero F5
International Symposium on Symbolic and Algebraic Computation Symposium - ISSAC 2002, Jul 2002, Villeneuve d'Ascq, France. pp.75-83, ⟨10.1145/780506.780516⟩
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-00100859v1  Conference papers
Laurent NoéGregory Kucherov. A new method of finding similarity regions in DNA sequences
European Conference on Computational Biology - ECCB'2002, Oct 2002, Saarbrücken, Germany, pp.173-174
inria-00098909v1  Journal articles
Pascal MatsakisLaurent Wendling. A New Way to Represent the Relative between Areal Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1999, 21 (7), pp.634-643
inria-00101066v1  Reports
Dominique PoulalhonGilles Schaeffer. A note on Bipartite Eulerian Planar Maps
[Intern report] A02-R-213 || poulalhon02a, 2002, 5 p
inria-00100889v1  Journal articles
Thérèse BiedlErik DemaineMartin DemaineSylvain LazardAnna Lubiw et al.  A Note on Reconfiguring Tree Linkages: Trees can Lock
Discrete Applied Mathematics, Elsevier, 2002, 117 (1-3), pp.293-297. ⟨10.1016/S0166-218X(01)00229-3⟩
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
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-00099439v1  Conference papers
Laurent Bougrain. A pruned higher-order network for knowledge extraction
International Joint Conference on Neural Networks - IJCNN'02, May 2002, Honolulu, Hawaii, USA, 4 p
inria-00098816v1  Journal articles
Guy Perrier. A PSPACE-complete fragment of second-order linear logic
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.267-289
hal-01431508v1  Conference papers
Eddy CaronFrédéric DesprezFrédéric LombardJean-Marc NicodMartin Quinson et al.  A Scalable Approach to Network Enabled Servers
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
inria-00100948v1  Conference papers
Guillaume ThisselinAntony Vignier. A Scheduling Problem with Multiple Purposes and Unrelated Resources ("The Farmer Problem")
Eighth International Workshop on Project Management and Scheduling - PMS 2002, Apr 2002, Valencia, Spain, 4 p
inria-00100762v1  Journal articles
Sylvain Petitjean. A Survey of Methods for Recovering Quadrics in Triangle Meshes
ACM Computing Surveys, Association for Computing Machinery, 2002, 34 (2), pp.211-262. ⟨10.1145/508352.508354⟩
inria-00101038v1  Journal articles
Vladimir Y. LuninNatasha LuninaA. PodjarnyAlexander BockmayrAlexandre Urzhumtsev. Ab initio phasing starting from low resolution
Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
inria-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
inria-00101020v1  Conference papers
Antonio Capobianco. Acquisition et évaluation ergonomique de stratégies d'aide contextuelles
Journée d'étude du réseau thématique "Système d'aide opératoire", ACI Cognitique, 2002, Paris, France
inria-00100766v1  Conference papers
Olivier BuffetAlain DutechFrançois Charpillet. Adaptive Combination of Behaviors in an Agent
European Conference on Artificial Intelligence - ECAI'02, 2002, Lyon, France, pp.48-52
inria-00100877v1  Conference papers
Emmanuel JeannotBjorn KnuttsonMats Bjorkman. Adaptive Online Data Compression
Eleventh IEEE International Symposium on High Performance Distributed Computing - HPDC 11, Jul 2002, Edinburgh, Scotland, 10 p
inria-00099361v1  Conference papers
Daniela GrigoriHala Skaf-MolliFrançois Charoy. Adding Flexibility in a Cooperative Workflow Execution Engine
8th International Conference on High Performance Computing & Networking Europe - HPCN Europe 2000, May 2002, Amsterdam, Hollande, pp.227-236
inria-00100971v1  Conference papers
Freddy DeppnerOlivier Dupuis. Affectation de ressources humaines dans un environnement multi-ressources
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.125-126
inria-00098821v1  Conference papers
Mudumbai RanganathanLaurent AndreyVirginie GaltierVirginie Schaal. AGNI : encore une plate-forme à agents mobiles !
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99, 1999, Nancy, France, 14 p
inria-00101083v1  Reports
Paolo CastelpietraJörn MiggeEvelyne Silva. AIL, AIML and XML in the AEE Project
[Intern report] A02-R-401 || castelpietra02a, 2002
inria-00100956v1  Conference papers
Asma GhaffariNidhal RezgXiaolan Xie. Algebraic and geometric characterization of Petri net controllers using the theory of regions
The 6th International Workshop on Discrete Event Systems - WODES'02, Oct 2002, Saragosse, Espagne, pp.219-224
inria-00098796v1  Journal articles
Sylvain Petitjean. Algebraic Geometry & Computer Vision: Polynomial Systems, Real & Complex Roots
Journal of Mathematical Imaging and Vision, Springer Verlag, 1999, 10 (3), pp.191-220
inria-00100866v1  Conference papers
Hélène KirchnerChristophe Ringeissen. Algebraic Methodology And Software Technology
9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
inria-00098981v1  Conference papers
Hélène KirchnerPeter David Mosses. Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST'98 - 7th International Conference on Algebraic Methodology & Software Technology, Jan 1999, Amazonia, Brazil. pp.373--388, ⟨10.1007/3-540-49253-4_27⟩
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-00100794v1  Conference papers
Alistair Bray. An Adaptive Hierarchical Model of the Ventral Visual Pathway Implemented on a Mobile Robot
2nd internationale Workshop on Biologically Motivated Computer Vision - BMCV 2002, Max Planck Institute for Biological Cybernetics, Nov 2002, Tübinger, Germany, pp.548-557
inria-00098817v1  Journal articles
Philippe de Groote. An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.115-134
inria-00100867v1  Conference papers
Françoise Simonot-LionJean-Pierre Elloy. An Architecture Description Language for In-Vehicle Embedded System Development
15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona, Spain, 8 p
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00100839v1  Book sections
Gemma SánchezJosep LladósKarl Tombre. An Error-Correction Graph Grammar to Recognize Texture Symbols
Dorothea Blostein and Young-Bin Kwon. International Workshop on Graphics Recognition - GREC'2001, Springer Verlag, pp.128-138, 2002, Lecture Notes in Computer Science
inria-00098828v1  Conference papers
Roberto Reyna-RojasDaniel EstèveDominique Martinez. An integrated vision system: object detection and localization
3rd International Workshop on design of mixed mode integrated circuits & applications, Jul 1999, Puerto Vallarta, Mexico
inria-00100809v1  Conference papers
Jacques Lonchamp. An Object-oriented Collaboration Flow Management System for Virtual Team Support
8th International Conference on Object-Oriented Information Systems - OOIS'02, 2002, Montpellier, France, pp.445-457
inria-00098809v1  Journal articles
Eric MonfroyChristophe Ringeissen. An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167--187
inria-00100844v1  Conference papers
Antoine TabboneLaurent Wendling. An Original Multi-Scale Algorithm to Binarize Images
16th International Conference on Pattern Recognition - ICPR'2002, 2002, Québec City, Canada, 17 p
inria-00101006v1  Conference papers
Emmanuel GothiéYann GuermeurFabrice LeclercChristiane BranlantAlexander Bockmayr. Analyse des Séquences InterORF chez les Levures - Application à la Recherche des petits ARN
Structure, Intégration, Fonction et Réactivité des ARN - SIFRARN, Oct 2002, Nancy, France
inria-00099001v1  Conference papers
Francis KlayMichaël RusinowitchSorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems
7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p
inria-00100726v1  Journal articles
Paolo CastelpietraYe-Qiong SongFrançoise Simonot-LionMondher Attia. Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1251-1264. ⟨10.1109/TIE.2002.804972⟩
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
inria-00100813v1  Conference papers
Laurent JeanpierreFrançois Charpillet. Apprentissage de modèles en télémédecine
Conférence Francophone d'Apprentissage - CAP 2002, Matthieu Exbrayat, 2002, Orléans, France, 2 p
inria-00100854v1  Conference papers
Murat DevirenKhalid Daoudi. Apprentissage de structures de réseaux bayésiens dynamiques pour la reconnaissance de la parole
XXlVèmes Journées d'Études sur la Parole - JEP'2002, Jun 2002, Nancy, France, pp.293-296
inria-00110394v1  Book sections
Wilhelm SchaefferAlfonso FugettaClaude GodartJens Jahnke. Architectural Views and Alternatives
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
inria-00098919v1  Conference papers
Evelyne Jacquey. Aspect and Nominalisation
Beyond Boundaries, Workshop Time & Space, 1999, Manchester, Grande-Bretagne
inria-00100990v1  Journal articles
Claire GardentJean-Marie Pierrel. Aspects linguistiques du traitement automatique du dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.7-12
inria-00100728v1  Conference papers
Jean-Charles LamirelYannick Toussaint. Association de méthodes symboliques et numériques pour l'analyse du contenu de bases de données
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'2002, Jan 2002, Angers, France
inria-00098977v1  Conference papers
Kamel SmaïliArmelle BrunImed ZitouniJean-Paul Haton. Automatic and manual clustering for large vocabulary speech recognition: a comparative study
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, 4 p
inria-00101012v1  Conference papers
Gilles DowekThérèse HardinClaude Kirchner. Binding Logic: proofs and models
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
inria-00100807v1  Conference papers
Yann GuermeurAndré ElisseeffDominique Zelus. Bound on the Risk for M-SVMs
Statistical Learning, Theory and Applications 2002, CNAM, 2002, Paris, France, 5 p