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-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⟩
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-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-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-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
inria-00100910v1  Conference papers
Jean-Pierre Thomesse. Enterprise Networking and Computing in Health Care Industry
4th IEEE International Workshop of Enterprise Networking and Computing - Healthcom 2002, 2002, Nancy/France
inria-00098782v1  Conference papers
Jean-Pierre ThomesseMiguel Leon-Chavez. Main Paradigms as a Basis for Current Fieldbus Concepts
Conference Fieldbus Technology - FET'99, 1999, Magdeburg/Germany, 15 p
inria-00100906v1  Conference papers
Jean-Pierre Thomesse. Le télémonitorage au domicile des patients à risque, Diatélic et TIISSAD
3ème Journée de la Société Française de Gériatrie et Gérontologie, 2002, Faculté de médecine de Bobigny/France
inria-00098947v1  Reports
Jean-Pierre ThomesseGregory Prince. Event Management and Real Time constraints model
[Intern report] 99-R-272 || thomesse99c, 1999, 12 p
inria-00107818v1  Conference papers
Jean-Pierre Thomesse. Histoire, état de l'art et perspectives des réseaux de terrain
Proceedings of European Symposium INNOCAP'99, 1999, Grenoble/France, 16 p
inria-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00098948v1  Reports
Jean-Pierre ThomesseGregory Prince. Timing consideration for electronic device description
[Intern report] 99-R-274 || thomesse99f, 1999, 13 p
inria-00100727v1  Book sections
Jean-Pierre Thomesse. TIISSAD, Technologies de l'information intégrées aux services des soins à domicile
Régis Beuscart, Patrice Degoulet, Pierre Zweigenbaum, Alain Venot. Télémédecine et e-santé, Springer Verlag, pp.27-34, 2002, Informatique et santé, 2-287-59762-X
inria-00107597v1  Conference papers
Jean-Pierre Thomesse. LORIA Computer Science and health related activities
Journée d'études Promotech, 2002, Villers-lès-Nancy/France
inria-00100911v1  Journal articles
Jean-Pierre Thomesse. Le télémonitorage au domicile des patients à risque: les projets Diatélic et TIISSAD
Techniques Hospitalières : la revue des techniciens de la santé, Association des hautes études hospitalières, 2002, pp.70
inria-00100903v1  Conference papers
Jean-Pierre Thomesse. Open issues in fieldbus based systems
15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona/Spain, 5 p
inria-00100785v1  Conference papers
Vincent ThomasChristine BourjotVincent ChevrierDidier Desor. MAS and RATS : Multi-agent simulation of social differentiation in rats' groups.
International Workshop on Self-Organization and Evolution of Social Behaviour, 2002, Monte Verita, Ascona, Switzerland, 10 p
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-00107614v1  Reports
Guillaume Thisselin. Fiabilité, maintenance, simulation et combinatoire
[Stage] A02-R-393 || thisselin02c, 2002, 49 p
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-00363326v1  Conference papers
Samuel ThibaultXavier CavinOlivier FestorEric Fleury. Unreliable Transport Protocol for Commodity-Based OpenGL Distributed Visualization
Workshop on Commodity-Based Visualization Clusters, Oct 2002, Boston, United States
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-00098972v1  Conference papers
Samir TataGérôme CanalsClaude Godart. Specifying Interactions in Cooperative Applications
Eleventh International Conference on Software Engineering & Knowledge Engineering, 1999, Kaiserslautern Germany
inria-00098973v1  Conference papers
Samir TataGérôme CanalsClaude Godart. Using Temporal Logic to Specify Interactions in Cooperative Applications
The AAAI'99 Symposium on Modal & Temporal Logic-based Planning for Open Networked Multimedia Systems - PONMS'99, Nov 1999, North Falmouth, Massachusetts, USA, 10 p
inria-00100944v1  Conference papers
Samir TataClaude GodartUffe K. Wiil. Policies for Cooperative Hypermedia Systems
Proceedings of the Thirteenth ACM Conference on Hypertext and Hypermedia- Hypertext 2002, Jun 2002, Baltimore, MD, USA, pp.140-141, ⟨10.1145/513338.513374⟩
inria-00000240v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Girardeau-Montaut. Mesures de rectangularité et d'ellipticité à partir de la transformée de Radon
4ème Colloque International Francophone sur l'Ecrit et le Document - CIFED'2002, Oct 2002, Hammamet/Tunisie, pp.265-274
inria-00100724v1  Conference papers
Antoine TabboneLaurent Wendling. Indexation par le contenu de documents techniques à partir de la transformée de Radon bidimensionnelle
Actes du 13eme Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle - RFIA'2002, Jan 2002, Angers, France, 17 p
inria-00100843v1  Conference papers
Antoine TabboneLaurent Wendling. Technical Symbols Recognition Using the Two-Dimensional Radon Transform
16th International Conference on Pattern Recognition - ICPR 2002, 2002, Québec, Canada, 4 p
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-00107631v1  Conference papers
Laszlo Szathmary. A proposition for a multi-dimensional classification-based system for corporate knowledge management
The 2nd EKMF Management Summer School - KMSS'2002, INRIA, Sep 2002, Sophia Antipolis, France, pp.129-134
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-00071533v1  Reports
Damien StehléPaul Zimmermann. A Binary Recursive Gcd Algorithm
[Research Report] RR-5050, INRIA. 2002
inria-00107605v1  Conference papers
Ye-Qiong Song. Matrix-DBP for (m,k)-firm real time guarantee
Séminaire du Programme de Recherches Avancées Franco-Chinois PRA SI01-04, Oct 2002, Zhejiang University, China. pp.35
inria-00107606v1  Conference papers
Ye-Qiong Song. Real-time communications in distributed control systems
Sino-French PRA (Programme de Recherches Avancées) workshop on Information Science and Technology, Nov 2002, Beijing/China, 15 p
inria-00100920v1  Conference papers
Ye-Qiong SongAnis KoubaaFrançois Simonot. Switched Ethernet For Real-Time Industrial Communication: Modelling And Message Buffering Delay Evaluation
4th IEEE International Workshop on Factory Communication Systems - WFCS'2002, Aug 2002, Vasteras/Sweden, pp.27-35
inria-00100921v1  Conference papers
Ye-Qiong Song. Ethernet commuté pour applications temps réel
Ecole d'informatique temps réel - IN2P3-CNRS, Sep 2002, La Londre les Maures/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-00098802v1  Journal articles
Hala Skaf-MolliFrançois CharoyClaude Godart. Maintaining Shared Workspaces Consistency during Software Development
International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 1999, Special Issue: Knowledge Discovery from Empirical Software Engineering Data, 9 (5), pp.623-642. ⟨10.1142/S0218194099000334⟩
inria-00101003v1  Journal articles
Françoise Simonot-LionLaurent KaiserRicardo Santos Marques. Formal Method for Timed Tests Sequences Generation
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013
inria-00107583v1  Conference papers
Françoise Simonot-Lion. Validation of Real Time Applications
Séminaire Zhejiang University, 2002, Zhejiang/China, 29 p
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