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-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-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-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-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
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-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-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
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-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-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-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-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
inria-00098909v1  Journal articles
Pascal MatsakisLaurent Wendling. A New Way to Represent the Relative between Areal Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1999, 21 (7), pp.634-643
inria-00098750v1  Reports
Jean-Yves Marion. Light Multiset path ordering and Ptime - Two is better than one
[Intern report] 99-R-106 || marion99b, 1999, 19 p
inria-00098803v1  Journal articles
Jean-Yves Marion. From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.157-172
inria-00108060v1  Conference papers
Abdel Halim MahdiHenri AmetMarie-Claude Portmann. Genetic algorithms for the 2D cutting problem
Proceedings of the international Conference on Industrial Engineering & Production Management - IEPM99, FUCAM, 1999, Glasgow, GB, pp.540-549
inria-00098870v1  Conference papers
Abdel Halim MahdiHenri AmetMarie-Claude Portmann. Genetic Algorithms for Solving a Physical Facility Layout Problem
International Conference IFORS`99, IFORS, 1999, Beijing, China
inria-00098900v1  Conference papers
Patrice Lopez. Repairing Strategies for Lexicalized Tree Grammars
Ninth Conference of the European Chapter of the Association for Computational Linguistics - EACl'99, Jun 1999, Bergen, Norway
inria-00098814v1  Conference papers
Jacques Lonchamp. DOTS: A Generic Infrastructure for Decision-oriented Collaborative Task Support
18th International Conference on Conceptual Modeling - ER'99, 1999, Paris, France, pp.233-247
inria-00098877v1  Conference papers
Karim LimamPierre VernelJacques BesseDominique Colnet. Design of a customisable processor IP
International Workshop on IP Based Synthesis & System Design, 1999, Grenoble, France, France. pp.181-184
inria-00098776v1  Conference papers
Jean Lieber. Reformulations and Adaptation Decomposition
International Conference on Case-Based Reasoning - ICCBR'99, Lieber, Jean et Melis, Erica et Mille, Alain et Napoli, Amedeo, 1999, Munich, Germany, 7 p
inria-00107799v1  Conference papers
Pierre LarocheFrançois CharpilletRené Schott. Decomposition of Markov Decision Processes Using Directed Graphs
Poster Session of European Conference on Planning, 1999, Durham, UK, 2 p
inria-00098843v1  Conference papers
Pierre LarocheFrançois CharpilletRené Schott. Mobile Robotics Planning using Abstract Markov Decision Processes
International Conference on Tools with Artificial Intelligence - ICTAI'99, IEEE Computer Society, 1999, Chicago, Illinois, pp.299-306
inria-00107588v1  Conference papers
Yves Laprie. Snorri, a software for speech sciences
ESCA/SOCRATES Workshop on Method & Tool Innovations for Speech Science Education MATISSE, Apr 1999, London, UK, pp.89-92
inria-00098984v1  Conference papers
David LangloisKamel Smaïli. A New Based Distance Language Model for a Dictation Machine: application to MAUD
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.1779-1782
inria-00098911v1  Conference papers
François Lamarche. Spaces for linguistic representations and the semantics of linear Logic
Dagstuhl Seminar 22.08.1999 - 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none
inria-00099009v1  Conference papers
Gregory KucherovMichaël Rusinowitch. Patterns in words versus patterns in trees : a brief survey and new results
Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.283-296
inria-00098792v1  Reports
Roman KolpakovGregory Kucherov. On the sum of exponents of maximal repetitions in a word
[Intern report] 99-R-034 || kolpakov99a, 1999, 17 p
inria-00098853v1  Conference papers
Roman KolpakovGregory Kucherov. Finding Maximal Repetitions in a Word in Linear Time
1999 Symposium on Foundations of Computer Science - FOCS'99, IEEE Computer Society, 1999, New-York, USA, pp.596--604
inria-00098854v1  Journal articles
Roman KolpakovGregory KucherovYuri Tarannikov. On repetition-free binary words of minimal density
Theoretical Computer Science, Elsevier, 1999, 218 (1), pp.161--175
inria-00098852v1  Conference papers
Roman KolpakovGregory Kucherov. On Maximal Repetitions in Words
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi Romania, pp.374 -- 385
inria-00099001v1  Conference papers
Francis KlayMichaël RusinowitchSorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems
7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p
inria-00098981v1  Conference papers
Hélène KirchnerPeter David Mosses. Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST'98 - 7th International Conference on Algebraic Methodology & Software Technology, Jan 1999, Amazonia, Brazil. pp.373--388, ⟨10.1007/3-540-49253-4_27⟩
inria-00098978v1  Book sections
Hélène Kirchner. Term Rewriting
Astesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports