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-00071533v1  Reports
Damien StehléPaul Zimmermann. A Binary Recursive Gcd Algorithm
[Research Report] RR-5050, INRIA. 2002
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
hal-02340520v1  Reports
Denis Roegel. A brief survey of 20th century logical notations
[Research Report] LORIA - Université de Lorraine. 2002
inria-00108113v1  Conference papers
Virginie Govaere. A Combination of Representation Styles for the Acquirement of Speech Abilities
Artificial Intelligence in Education, S.P. Lajoie & M.Vivet, 1999, none, pp.371-378
inria-00098760v1  Conference papers
Raphael CouturierBertrand CouturierDominique Méry. A compiler for parallel Unity programs using OpenMp
Parallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 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-00098819v1  Conference papers
Frédéric WolffLaurent Romary. A contextual analysis of referring gestures
Proceedings of the 4th International Conference on Intelligent User Interfaces - IUI'99, 1999, Los Angeles, CA, United States
inria-00107593v1  Conference papers
Yves LaprieAnne Bonneau. A copy synthesis method to pilot the Klatt synthesiser
International Conference on Speech and Language Processing, Sep 2002, Denver, USA, 4 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-00107592v1  Conference papers
Xavier RebeufGerardo SatrianoFrançoise Simonot-Lion. A Distributed Algorithm for the Validation of Timed State Machines
6th International Conference On Principles Of DIstributed Systems - OPODIS'02, 2002, Reims/France, 12 p
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-00107582v1  Conference papers
Florence Le BerAmedeo Napoli. A Galois lattice for qualitative spatial reasoning and representation
ECAI Workshop on Advances in Formal Concept Analysis for Knowledge Discovery in Databases - FCAKDD'2002, Jul 2002, Lyon, France, 12 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