Skip to Main content Skip to Navigation

inria-00107585v1  Conference papers
Imed ZitouniJean-François MariKamel SmaïliJean-Paul Haton. Variable-Length Sequence Language Model for Large Vocabulary Continuous Dictation Machine
6th European Conference on Speech Communication and Technology - EUROSPEECH'99, 1999, Budapest, Hungary
inria-00107625v1  Conference papers
Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
inria-00072854v1  Reports
Paul Zimmermann. Karatsuba Square Root
[Research Report] RR-3805, INRIA. 1999, pp.8
inria-00100980v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
none. Encyclopedia of Information Security, Kluwer, 2002
inria-00098864v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Real-Time Problem-Solving with Contract Algorithms
16th International Joint Conference on Artificial Intelligence, 1999, Stockholm, Sweden, pp.1008-1013
inria-00108057v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Optimal Sequencing of Contract Algorithms
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
inria-00098844v1  Conference papers
Olivier ZendraDominique Colnet. Towards safer aliasing with the Eiffel language
Intercontinental Workshop on Aliasing in Object-Oriented Systems IWAOOS'99 - ECOOP'99 workshop reader, 1999, Lisbonne, Portugal, pp.153
inria-00563279v1  Poster communications
Olivier ZendraDominique Colnet. Optimized late binding: the SmallEiffel example
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1999, Denver, United States
inria-00098784v1  Conference papers
Olivier ZendraDominique Colnet. Adding external iterators to an existing Eiffel class library
32th conference on Technology of Object-Oriented Languages & Systems - TOOLS Pacific'99, Nov 1999, Melbourne, Australia, pp.188 - 199, ⟨10.1109/TOOLS.1999.809425⟩
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-00100804v1  Journal articles
Laurent WendlingAntoine TabbonePascal Matsakis. Fast and Robust Recognition of Orbit and Sinus Drawings Using Histograms of Forces
Pattern Recognition Letters, Elsevier, 2002, 23 (14), pp.1687-1693
inria-00098908v1  Journal articles
Laurent WendlingA. Paries. Directed Acyclic Graph Compression of Labelled Trees
Machine Graphics & Vision, Instytut podstaw informatyki (Pologne), 1999, 8 (2), pp.169-174
inria-00099409v1  Conference papers
Bonnie WebberClaire GardentJohan Bos. Position statement: Inference in Question Answering
Third international conference on Language Resources and Evaluation - LREC'02, Jun 2002, Las Palmas, Spain, 7 p
inria-00098812v1  Book sections
David WastellSelma ArbaouiJacques LonchampMontangero Carlo. The Human Dimensions of the Software Process
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.165-199, 1999, Lecture Notes in Computer Science, 3-540-65516-6. ⟨10.1007/BFb0057007⟩
inria-00107601v1  Conference papers
Zhi WangYe-Qiong SongHai-Bin YuYouxian Sun. Worst-case response time of aperiodic message in WorldFIP
15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, Jul 2002, Barcelona/Spain, 6 p
inria-00107602v1  Conference papers
Zhi WangYe-Qiong SongEnrico-Maria PoggiYouxian Sun. Survey of Weakly-Hard Real Time Schedule Theory and Its Application
International Symposium on Distributed Computing and Applications to Business, Engineering and Science - DCABES'2002, Dec 2002, Wuxi/China, 9 p
inria-00107604v1  Conference papers
Zhi WangYe-Qiong SongJiming ChenYouxian Sun. Real time Characteristics of Ethernet and its improvement
4th World Congress on Intelligent Control and Automation - WCICA'2002, Jun 2002, Shanghai/China, pp.1311-1318
inria-00107603v1  Conference papers
Zhi WangZhou YueJiming ChenYe-Qiong SongYouxian Sun. Realtime characteristic of FF like centralized control fieldbus and its state-of-art
2002 IEEE International Symposium on Industrial Electronics - ISIE'2002, Jul 2002, Aquila/Italy, pp.140-145
inria-00107607v1  Conference papers
Dongming Wang. Epsilon: A Library of Software Tools for Polynomial Elimination
Proceedings of the First International Congress of Mathematical Software - ICMS 2002, Aug 2002, Pékin, Chine, pp.379-389
inria-00100919v1  Books
Dongming Wang. Méthodes d'élimination avec applications
Science Press, Pékin, XVI-302 p, 2002
inria-00107637v1  Conference papers
Dongming Wang. GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
The Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Franz Winkler, Sep 2002, Hagenberg Castle, Austria. pp.194-215, ⟨10.1007/978-3-540-24616-9_12⟩
inria-00099418v1  Reports
Benjamin Wack. Aspects typés du calcul de réécriture
[Stage] A02-R-175 || wack02a, 2002, 44 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-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
inria-00098752v1  Conference papers
Laurent VigneronAnita Wasilewska. Rough Sets based Proofs Visualisation
18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS'99, invited session on Granular Computing and Rough Sets, 1999, New York, USA, pp.805-808
inria-00098876v1  Conference papers
S. VennerIadine ChadesA. PasquetFrançois CharpilletR. Leborgne. Modélisation de la gestion optimale des constructions successives de toiles chez une araignée orbitèle Zygiella x-notata
1er congrès de l'Association Francophone pour l'étude de l'Ethologie l'Ecologie et l'Evolution - AFEEE'99, Sep 1999, Rennes, France
inria-00099457v1  Conference papers
Luis VégaJean-Pierre Thomesse. Diatélic, télésurveillance de dialysés à domicile
3ème e-Colloque Interrégional de Télémédecine 2002, 2002, Lille/France, 2 p
inria-00101032v1  Conference papers
Mark G. J. van den BrandJ. ScheerderJ.J. VinjuEelco Visser. Disambiguation Filters for Scannerless Generalized LR Parsers
11th International Conference on Compiler Construction - CC'02, Apr 2002, Grenoble, France, pp.143-158
inria-00101028v1  Conference papers
Mark G. J. van den BrandPierre-Etienne MoreauChristophe Ringeissen. The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p
inria-00101029v1  Journal articles
Mark G. J. van den BrandJ. HeeringP. KlintP.A. Olivier. Compiling language definitions: The ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368
inria-00101030v1  Conference papers
Mark G. J. van den BrandPaul KlintJ.J. Vinju. Term Rewriting with Type-safe Traversal Functions
2nd International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2002, Jul 2002, Copenhagen, Denmark, 18 p
inria-00100890v1  Conference papers
Ernest ValvenyBart Lamiroy. Scan-to-XML : Automatic Generation of Browsable Technical Documents
Sixteenth International Conference on Pattern Recognition - ICPR 2002, IAPR, 2002, Québec city, QC, Canada, pp.188-192
inria-00100781v1  Conference papers
Karl TombreAntoine TabboneLoïc PélissierBart LamiroyPhilippe Dosch. Text/Graphics Separation Revisited
5th International Workshop on Document Analysis - DAS'02, 2002, Princeton, NJ, USA, pp.200-211
inria-00098774v1  Conference papers
Karl TombreChristian Ah-SoonPhilippe DoschGérald MasiniAntoine Tabbone. Stable and Robust Vectorization: How to Make the Right Choices
Third IAPR International Workshop on Graphics Recognition, Sep 1999, Jaipur, India, pp.3-16
inria-00100764v1  Conference papers
Amalia TodirascuLaurent RomaryDalila Bekhouche. Vulcain - An Ontology-based Information Extraction System
International Conference on Applications of Natural Language to information systems - NLDB'02, DSV, Information Technology University, Jun 2002, Stockholm, Sweden, pp.64-75
inria-00101016v1  Conference papers
Amalia TodirascuLaurent RomaryDalila Bekhouche. Combining Syntax and Ontologies for Information Extraction
Terminology and Knowledge Engineering - TKE'02, Aug 2002, Nancy, France
inria-00100763v1  Conference papers
Amalia TodirascuEric KowLaurent Romary. Towards Reusable NLP Components
Proceedings of the Third International Conference on Language Resources and Evaluation, European Language Resources Association (ELRA), May 2002, Las Palmas, Iles Canaries, Spain. pp.1116-1123
inria-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
inria-00100905v1  Conference papers
Jean-Pierre Thomesse. Fieldbuses and Quality of Service
5th Portuguese Conference on Automatic Control - Controlo 2002, 2002, Aveiro/Portugal, pp.10-14