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-00000111v1  Conference papers
Olivier ZendraKarel Driesen. Stress-testing Control Structures for Dynamic Dispatch in Java
2nd Java Virtual Machine Research and Technology Symposium (JVM'2002), Usenix - The Advanced Computing Systems Association, Aug 2002, San Francisco, CA, USA, pp.105-118
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-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-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-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⟩