Skip to Main content Skip to Navigation

inria-00098764v1  Conference papers
Béatrice FuchsJean LieberAlain MilleAmedeo Napoli. Vers une théorie unifiée de l'adaptation en raisonnement à partir de cas
Journées Ingénierie des Connaissances - IC'99, 1999, Palaiseau, France
inria-00099012v1  Reports
Ahmed Jebali. Vérification Observationnelle
[Stage] 99-R-144 || jebali99a, 1999, 38 p
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-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-00098770v1  Conference papers
Tawfik Es-SqalliEric DillonJacques Guyard. Using MeDLey to resolve the Vlasov equation
HPCN Europe'99, 1999, Amsterdam, The Netherlands, 10 p
inria-00099006v1  Conference papers
Tawfik Es-SqalliEric FleuryEric DillonJacques Guyard. Using Medley in a CORBA environment
Euro-Par'99 Parallel Processing, Sep 1999, Toulouse, France, pp.113-116
inria-00147379v1  Conference papers
Tawfik Es-SqalliJacques GuyardEric Dillon. Using MeDLey for the Grid-Decomposition Methods
International Conference on Parallel & Distributed Processing Techniques & Applications - PDPTA'99, 1999, Las Vegas, Nevada/USA, pp.1868-1873
inria-00110525v1  Conference papers
Michel KernAgany OlouiJean-Charles FaugèreFabrice Rouillier. Using Groebner bases to compute higher order finite elements for mass lumping
Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom
hal-01434763v1  Conference papers
Jean-Charles FaugèreLuc RollandFabrice Rouillier. Using Computer algebra tools for off-line studies of parallel manipulators
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
inria-00099015v1  Conference papers
Marie-Christine HatonJean-Paul Haton. Use of articulatory and spectral information for speech training
The XIVth International Congress of Phonetic Sciences, Aug 1999, San Francisco, USA, 5 p
inria-00107693v1  Conference papers
Laurent BougrainFrédéric Alexandre. Unsupervised Connectionist Clustering Algorithms for a better Supervised Prediction : Application to a radio communication problem
International Joint Conference on Neural Networks, International Neural Networks Society, 1999, Washington, USA, 6 p
inria-00098835v1  Conference papers
François BertaultPaul Zimmermann. Unranking of unlabelled decomposable structures
Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99, 1999, Montpellier/France, pp.12
inria-00098797v1  Journal articles
Alain DenisePaul Zimmermann. Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
Theoretical Computer Science, Elsevier, 1999, 218 (2), pp.233-248
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-00522005v1  Journal articles
Pierre-Yves DurandJacques ChanliauJean-Pierre ThomesseFrançois CharpilletLaurent Romary et al.  Une nouvelle ère en dialyse péritonéale : la télémédecine intelligente
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (1, S17)
inria-00072866v1  Reports
Yann BugeaudGuillaume Hanrot. Un nouveau critère pour l'équation de Catalan
[Rapport de recherche] RR-3793, INRIA. 1999, pp.13
inria-00069938v1  Reports
Olivier FestorNizar Ben Youssef. Un Editeur de spécifications MOF
[Rapport Technique] RT-0234, INRIA. 1999, pp.16
inria-00069939v1  Reports
Olivier FestorNizar Ben Youssef. Un analyseur sémantique pour MOF
[Rapport Technique] RT-0233, INRIA. 1999, pp.12
inria-00098965v1  Journal articles
Bruno GaujalNicolas Navet. Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Computer Communications, Elsevier, 1999, 22 (17), pp.1562-1573
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-00098813v1  Conference papers
Béatrice FuchsJean LieberAlain MilleAmedeo Napoli. Towards a Unified Theory of Adaptation in Case-Based Reasoning
Third International Conference on Case-Based Reasoning - ICCBR'99, 1999, Seeon Monastery, Germany, pp.104-117
inria-00107822v1  Conference papers
Christophe CerisaraJean-Paul HatonDominique Fohr. Towards a Global Optimization Scheme for Multi-Band Speech Recognition
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, 4 p
inria-00098948v1  Reports
Jean-Pierre ThomesseGregory Prince. Timing consideration for electronic device description
[Intern report] 99-R-274 || thomesse99f, 1999, 13 p
inria-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
inria-00108051v1  Journal articles
Yuri BiluGuillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
inria-00098922v1  Conference papers
Claude Kirchner. The rewriting calculus as a semantics to strategy application. Application to ELAN.
Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
inria-00108070v1  Conference papers
Philippe de Groote. The Non-associative Lambek calculus with product in polynomial time
Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139
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-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-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⟩
hal-01875371v1  Reports
Christophe de Saint-RatSamuel Cruz-LaraPatrice BonhommeLaurent Romary. The ELAN Architecture
[Contract] Deliverables D3.1-1 and D3.2-1, Inria. 1999
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-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-00098830v1  Conference papers
Félix AlbuDominique Martinez. The Application of Support Vector Machines with Gaussian Kernels for Overcoming Co-channel Interference
IEEE Workshop on Neural Networks for Signal Processing IX, Aug 1999, Madison, Wisconsin, U.S.A, pp.49-57
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
inria-00522004v1  Journal articles
Pierre-Yves DurandJacques ChanliauAgnès MariotMichèle KesslerJean-Pierre Thomesse et al.  Télémédecine et Dialyse
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (3), pp.12-18
inria-00107694v1  Journal articles
Gérôme CanalsPascal MolliClaude Godart. Support for End User Participation using Replicated Versions and Group Communication
ACM SIGGROUP Bulletin, Association for Computing Machinery (ACM), 1999, 20 (1), pp.5-9. ⟨10.1145/327556.327598⟩
inria-00098964v1  Reports
Francois Xavier Duranceau. Supervision et Contrôle des Réseaux Actifs
[Stage] 99-R-071 || duranceau99a, 1999, 40 p
inria-00098963v1  Reports
Néjib Boubaker. Supervision et Contrôle des Réseaux Actifs
[Stage] 99-R-070 || boubaker99a, 1999, 80 p
inria-00098925v1  Conference papers
Jean-Paul Haton. Statistical Models for Robust Speech Recognition
International Symposium on Pattern Recognition, 1999, Bruxelles, Belgique
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
hal-01862870v1  Conference papers
Mohamed BensoubayaAbdelhak FerferaAbderrahman Iggidr. Stabilization of nonlinear stochastic discrete systems
38th IEEE Conference on Decision and Control, Dec 1999, Phoenix, Arizona, United States. pp.3180--3181, ⟨10.1109/cdc.1999.827756⟩
inria-00098848v1  Journal articles
Hazel EverettFerran HurtadoMarc Noy. Stabbing information of a simple polygon
Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
inria-00098859v1  Conference papers
Ramon Garcia GomezMarie-Christine HatonJean-Paul HatonChristophe AntoinePierre Alinat. Speech training for deaf and hearing-impaired people
European Speech Communication Association, 1999, Budapest, Hongrie, 5 p
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-00107815v1  Conference papers
Horatiu Cirstea. Specifying Authentication Protocols Using ELAN
Workshop on Modelling & Verification, Dec 1999, Besançon, France, 17 p
inria-00098952v1  Conference papers
Ahmed-Reda BerrahRafael Laboissière. SPECIES: an evolutionary model for the emergence of phonetic structures in an artificial society of speech agents
5th European Conference on Artificial Life - ECAl'99, 1999, Lausanne, Suisse, pp.674-678
inria-00098766v1  Conference papers
Hervé Frezza-BuetFrédéric Alexandre. Specialization within cortical models : An application to causality learning
7th European Symposium on Artificial Neural Networks - ESANN'99, Apr 1999, Bruges, Belgium, 6 p
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-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-00098780v1  Conference papers
Patrice LopezChristine Fay-VarnierAzim Roussanaly. Sous-langage d'application et LTAG : le système EGAL
6ème Conférence annuelle sur le Traitement Automatique du Langage Naturel - TALN'99, Jul 1999, Cargèse, Corse, France, 10 p
inria-00100817v1  Journal articles
Olivier Bournez. Some bounds on the computational power of piecewise constant derivative systems
Theory of Computing Systems, Springer Verlag, 1999, 32 (1), pp.35-67
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-00098850v1  Book sections
Frank PostelPaul Zimmermann. Solving Ordinary Differential Equations
Michael Wester. Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999
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-00098842v1  Conference papers
Michel CosnardEmmanuel JeannotTao Yang. SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors
International Conférence on Parallel Processing - ICPP'99, 1999, Aizu-Wakamatsu, Japan, 25 p
inria-00098931v1  Reports
Adel Bouhoula. Simultaneous Checking of Completeness and Ground Confluence
[Intern report] 99-R-051 || bouhoula99b, 1999
inria-00098810v1  Conference papers
Taegyun KimGyusang ShinNacer Boudjlida. Similarity in the Design and the Implementation of a Multi-Platform CASE Tool
COnstructing Software Engineering Tools - COSET'99, ICSE'99 Workshop, 1999, Los Angeles, CA, pp.137-146
inria-00099008v1  Conference papers
Frédéric DesprezEric FleuryLaura Grigori. Scilab//: User interactive application and high performances
Third World Multiconference on Systemics, Cybernetics & Informatics - SCI'99 & Fifth International Conference on Information Systems Analysis & Synthesis - ISAS'99, Aug 1999, Orlando, USA
inria-00098755v1  Conference papers
Hubert DuboisHélène Kirchner. Rule Based Programming with Constraints & Strategies
Workshop of the ERCIM Working Group on Constraints, 1999, Paphos, Chypre, 13 p
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-00107823v1  Conference papers
Christophe CerisaraDominique FohrJean-Paul Haton. Robust behavior of multi-band paradigm
Robust Methods for Speech Recognition in Adverse Conditions, Nokia, COST249 & IEEE, 1999, Tampere, Finland, 4 p
inria-00098773v1  Conference papers
André ElisseeffHélène Paugam-MoisyYann Guermeur. Risque garanti pour les modèles de discrimination multi-classes
Septième journées de la Société Francophone de Classification - SFC'99, Loria, Sep 1999, Nancy, France, pp.111-118
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-00107532v1  Conference papers
Patrice Lopez. Représenter et utiliser les contraintes de la langue orale à l'aide d'une grammaire lexicalisée d'arbres adjoints
Actes des Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues - RECITAl'99, Jul 1999, Cargèse, Corse, France, 6 p
inria-00107589v1  Conference papers
Virginie Govaere. Représentation des connaissances à l'aide d'une qualification floue et de frames dans un environnement manipulant des normes
IIIeme Colloque Jeunes Chercheurs en Sciences Cognitives, Apr 1999, Soulac, France, pp.110-115
inria-00098913v1  Journal articles
Florence Le BerLudmila MangelinckAmedeo Napoli. Représentation de relations et classification de structures spatiales
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13 (2), pp.441-467
inria-00098929v1  Conference papers
Laurent Romary. Representation and normalization of multilingual dictionaries
Workshop from Information to Knowledge Using Astronomical Databases, 1999, Strasbourg, France