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-00072854v1  Reports
Paul Zimmermann. Karatsuba Square Root
[Research Report] RR-3805, INRIA. 1999, pp.8
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-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-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-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-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
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-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-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-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
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-00107745v1  Conference papers
Gilles SimonMarie-Odile Berger. Registration with a Zoom Lens Camera for Augmented Reality Applications
Second International Workshop on Augmented Reality, Oct 1999, San Francisco, CA, 10 p
inria-00108050v1  Conference papers
Gilles SimonMarie-Odile Berger. Registration Methods for Harmonious Integration of Real Worlds and Computer Generated Objects
Advanced Research Workshop on Confluence of Computer Vision and Computer Graphics, Aug 1999, Ljubljana, Slovenia, 3 p
inria-00107817v1  Conference papers
Arnaud Simon. Relations et treillis de Galois
Septième journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, pp.299--306
inria-00107816v1  Conference papers
Arnaud SimonAmedeo Napoli. Building Viewpoints in an Object-Based Representation System for Knowledge Discovery in Databases
International Conference on Information Reuse & Integration - IRI'99, The International Society for Computers & Their Applications, ISCA, 1999, Atlanta, USA, pp.104--108
inria-00098971v1  Directions of work or proceedings
André SchaffFrancis LepageJean-Pierre Thomesse. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99
Hermès Science Publications, 494 p, 1999
inria-00110394v1  Book sections
Wilhelm SchaefferAlfonso FugettaClaude GodartJens Jahnke. Architectural Views and Alternatives
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
inria-00098904v1  Conference papers
Gilles Schaeffer. Random Sampling of Large Planar Maps and Convex Polyhedra
Proceedings of the 31th annual ACM Symposium on the Theory of Computing - STOC'99, 1999, Atlanta, Georgia, pp.760-769
inria-00099017v1  Conference papers
Michaël RusinowitchSorin StratulatFrancis Klay. Mechanical Verification of a Generic Incremental ABR Conformance Algorithm
Workshop on Modelling & Verification, Dec 1999, Besancon, France, 43 p
inria-00107531v1  Conference papers
David RousselPatrice Lopez. Contribution à l'analyse robuste non déterministe pour les systèmes de dialogue parlé
6ème Conférence annuelle sur le Traitement Automatique du Langage Naturel - TALN'99, Jul 1999, Cargèse, Corse, France, 6 p
hal-01434761v1  Conference papers
Fabrice Rouillier. Real Solving of Polynomial Systems and Applications
ICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
inria-00098872v1  Journal articles
Fabrice Rouillier. Solving Zero-Dimensional Systems through the Rational Univariate Representation
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 1999, 9 (5), pp.433-461. ⟨10.1007/s002000050114⟩
inria-00098757v1  Conference papers
Nicolas RougierFrédéric Alexandre. Spatial Knowledge Transfer Between Models of Hippocampus and Associative Cortex
International Joint Conference on Neural Networtks, 1999, Washington, D. C., 5 p
inria-00107691v1  Conference papers
Nicolas Rougier. Mémoires déclarative et procédurale pour la navigation autonome d'un animat
Intelligence Artificielle Située, Jean-Arcady Meyer et Alexis Drogoul, 1999, none, 18 p
inria-00098756v1  Conference papers
Nicolas RougierHervé Frezza-BuetFrédéric Alexandre. Neuronal mechanisms for sequence learning in behavioral modeling
Sixteenth International Joint Conference on Artificial Intelligence, Workshop : Neural, Symbolic, and Reinforcement Methods for Sequence Learning, 1999, Stockholm, Sweden, 6 p
inria-00526961v1  Conference papers
Laurent Romary. Representation and mormalization of multilingual dictionaries
Workshop « From Information to Knowledge Using Astronomical Databases », Observatoire de Strasbourg, Jun 1999, Strasbourg, France
inria-00098929v1  Conference papers
Laurent Romary. Representation and normalization of multilingual dictionaries
Workshop from Information to Knowledge Using Astronomical Databases, 1999, Strasbourg, France
inria-00098928v1  Conference papers
Laurent Romary. Designing an editorial platform for a multilingual terminology the experience provided by the DHYDRO project
The 4th EUROLAN Summer School on Human Language Technology, 1999, Iasi, Roumania
inria-00098914v1  Conference papers
Luc Rolland. The Manta and the Kanuk: Novel 4-DOF Parallel Mechanisms for Industrial Handling.
International Mechanical Engineering Congress & Exposition, American Society of Mechanical Engineers, 1999, Nashville, USA, pp.831-844
inria-00098827v1  Conference papers
Christophe RingeissenEric Monfroy. Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
ERCIM/COMPULOG Workshop on Constraints, Oct 1999, Paphos, Cyprus, 17 p
inria-00099387v1  Conference papers
Christophe RingeissenEric Monfroy. Generating Propagation Rules for Finite Domains: a Mixed Approach
Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, pp.150-172
inria-00098828v1  Conference papers
Roberto Reyna-RojasDaniel EstèveDominique Martinez. An integrated vision system: object detection and localization
3rd International Workshop on design of mixed mode integrated circuits & applications, Jul 1999, Puerto Vallarta, Mexico
inria-00098821v1  Conference papers
Mudumbai RanganathanLaurent AndreyVirginie GaltierVirginie Schaal. AGNI : encore une plate-forme à agents mobiles !
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99, 1999, Nancy, France, 14 p
inria-00098920v1  Conference papers
Mudumbai RanganathanVirginie SchaalVirginie GaltierDouglas Montgomery. Mobile Streams: A Middleware for Reconfigurable Distributed Scripting
Agent Systems & Applications, Mobile Agents - ASAMA'99, Oct 1999, Palm Springs, Californie, USA, pp.162-175
inria-00098850v1  Book sections
Frank PostelPaul Zimmermann. Solving Ordinary Differential Equations
Michael Wester. Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999
hal-00740814v1  Conference papers
Sylvain Pogodalla. Génération à l'aide de réseaux de preuve sémantiques
Génération Automatique de Textes (GAT'99), Université Stendhal, Grenoble 3, 1999, Grenoble, France
inria-00525171v1  Conference papers
Massimo PoesioFlorence BruneseauxLaurent Romary. The MATE meta-scheme for coreference in dialogues in multiple languages
ACL'99 Workshop Towards Standards and Tools for Discourse Tagging, Jun 1999, College Parc, United States. pp.65-74
inria-00072990v1  Reports
David PlaistedGregory Kucherov. The Complexity of Some Complementation Problems
[Research Report] RR-3681, INRIA. 1999, pp.15
inria-00098851v1  Journal articles
David PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
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-00098879v1  Journal articles
Jean-Marie Pierrel. Parler n'est pas suffisant", point de vue sur les interfaces orales
Pour la science, Société Pour la Science 1999
inria-00098796v1  Journal articles
Sylvain Petitjean. Algebraic Geometry & Computer Vision: Polynomial Systems, Real & Complex Roots
Journal of Mathematical Imaging and Vision, Springer Verlag, 1999, 10 (3), pp.191-220
inria-00098846v1  Journal articles
Y.-F.-S. PétermannJean-Luc RémyI. Vardi. On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 1999, 11, pp.211-230
inria-00098785v1  Conference papers
Olivier PerrinClaude Godart. The COO operator to support and improve the flexibility of adaptive workflows
Communication Theory Technical Committee Meeting - Globecom'99, Dec 1999, Rio de Janeiro, Brasil, pp.1942-1946, ⟨10.1109/GLOCOM.1999.832505⟩
inria-00099011v1  Journal articles
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
inria-00098793v1  Reports
Guy Perrier. From Intuitionistic Proof Nets to Interaction Grammars
[Intern report] 99-R-120 || perrier99b, université Nancy2. 1999, 39 p
inria-00098816v1  Journal articles
Guy Perrier. A PSPACE-complete fragment of second-order linear logic
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.267-289
inria-00099004v1  Conference papers
Slim OuniYves Laprie. Design of hypercube codebooks for the acoustic-to-articulatory inversion respecting the non-linearities of the articulatory-to-acoustic mapping
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.141-144
inria-00098896v1  Conference papers
Nicolas NavetYe-Qiong Song. Une politique à changement de priorité pour l'ordonnancement de messages dans des environnements bruités
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99, Apr 1999, Nancy, France, 16 p
inria-00098898v1  Journal articles
Nicolas NavetYe-Qiong Song. Reliability Improvement of the Dual-Priority Protocol under Unreliable Transmission
Control Engineering Practice, Elsevier, 1999, 7 (8), pp.975-981
inria-00110354v1  Conference papers
Emmanuel Nauer. De l'importance de la normalisation en bibliométrie
Les systèmes d'information élaborée, 1999, Ile Rousse, France
inria-00110348v1  Conference papers
Emmanuel Nauer. Les problèmes de variations terminologiques dans l'indexation de références bibliographiques
Journées Internationales de Linguistique Appliquée - JILA'99, LILLA, 1999, Nice, France, 3 p
inria-00098862v1  Directions of work or proceedings
Paliath NarendranMichaël Rusinowitch. Rewriting Techniques & Applications
P. Narendran & M. Rusinowitch. Springer-Verlag, 396 p, 1999, Lecture Notes in Computer Science
inria-00098788v1  Conference papers
Amedeo Napoli. Classification problems in object-based representation systems
International Workshop on Description Logics - Dl'99, Patrick lambrix, 1999, Linkoepings Universitet, Sweden, pp.169-171
inria-00098968v1  Journal articles
Hala Naja. Multiview databases for building modelling
Automation in Construction, Elsevier, 1999, 8 (5), pp.567-579. ⟨10.1016/S0926-5805(98)00116-2⟩
inria-00098855v1  Reports
Julien Musset. Preuves de systèmes réactifs dans le modèle synchrone
[Stage] 99-R-300 || musset99a, 1999, 30 p
inria-00098905v1  Journal articles
Manuel MunierKhalid BenaliClaude Godart. DisCOO, a really distributed system for cooperation
Networking and Information Systems Journal, Editions Hermès, 1999, 2 (5-6), pp.605-637
inria-00098769v1  Conference papers
Manuel MunierKhalid BenaliClaude Godart. A transactional approach for cross-organizational cooperation
Global Telecommunications Conference, 1999. GLOBECOM '99, May 1999, Rio de Janeiro/Brazil, pp.1926 - 1931, ⟨10.1109/GLOCOM.1999.832501⟩
inria-00098809v1  Journal articles
Eric MonfroyChristophe Ringeissen. An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167--187
inria-00098970v1  Conference papers
Martial MichelJudith Ellen Devaney. Fine Packet Size Tuning with AutoLink
International Workshop on Parallel Computing - IWPC'99, 1999, Fukushima, Japon, 5 p
inria-00098824v1  Conference papers
Martial MichelAndré SchaffJudith Ellen Devaney. Managing data-types: the CORBA Approach and AutoMap/AutoLink, an MPI Solution
Message Passing Interface Developer's & User's Conference - MPIDC'99, Mar 1999, Atlanta, GA USA, 8 p