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