Skip to Main content Skip to Navigation

hal-00835120v1  Book sections
Joseph Di Martino. Dynamic Time Warping Algorithms for Isolated and Connected Word Recognition
Renato De Mori and Ching Y. Suen. New Systems and Architectures for Automatic Speech Recognition and Synthesis, 16, Springer Verlag, pp.405-418, 1985, NATO ASI Series, 978-3-642-824494. ⟨10.1007/978-3-642-82447-0_15⟩
hal-00835482v1  Conference papers
Anne BoyerJoseph Di MartinoJean-Paul Haton. Un algorithme de reconnaissance de mots enchaînés avec contraintes syntaxiques
JEP - Actes 14èmes Journées d'Etudes sur la Parole - 1985, Jun 1985, Paris, France
hal-00835479v1  Conference papers
Anne BoyerJoseph Di MartinoJean-Paul Haton. Reconnaissance de la parole multi-locuteur par programmation dynamique
JEP - Actes 15èmes Journées d'Etudes sur la Parole - 1986, May 1986, Aix-en-Provence, France
hal-00835476v1  Conference papers
Joseph Di Martino. Reconnaissance de la parole continue par programmation dynamique
JEP - Actes 15èmes Journées d'Etudes sur la Parole - 1986, May 1986, Aix-en-Provence, France
hal-00835470v1  Conference papers
Anne BoyerJean-Paul HatonJoseph Di Martino. Dynamic time warping and vector quantization in isolated and connected word recognition
ECST - European Conference on Speech Technology - 1987, 1987, Edinburgh, Scotland, United Kingdom. pp.2436-2439
hal-00835095v1  Conference papers
Joseph Di Martino. On multi-level machines for continuous speech recognition
IJCAI - Tenth International Joint Conference on Artificial Intelligent - 1987, Aug 1987, Milan, Italy. pp.836-839
hal-00835451v1  Conference papers
Anne BoyerJoseph Di MartinoP. DivouxJean-Paul HatonJean-Francois Mari et al.  Statistical methods in multi-speaker automatic speech recognition
ASMDA - 4th International Symposium on Applied stochastic models and data analysis - 1988, 1988, Nancy, France
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
hal-01479998v1  Book sections
Michael ZockAbdellatif LarouiGil Francopoulo. DIAM: une autre manière d'apprendre la langue de Molière.
Monique Baron and Jean François Nicaud. Journées EIAO du PRC-GDR Intelligence Artificielle, pp.283--296, 1990
hal-00835107v1  Journal articles
Anne BoyerJoseph Di MartinoP. DivouxJean-Paul HatonJean-François Mari et al.  Statistical methods in multi-speaker automatic speech recognition
Applied Stochastic Models and Data Analysis, John Wiley & Sons, 1990, 6 (3), pp.143-155. ⟨10.1002/asm.3150060302⟩
hal-00589120v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Marie PierrelJean-Paul Haton. Idées et concepts de réalisation d'une machine à dicter destinée aux grands vocabulaires
XVIIIèmes journées d'études sur la parole, May 1990, Montréal, Canada. pp.337-341
hal-00917730v1  Conference papers
Philippe FlajoletPaul ZimmermannBernard Van Cutsem. A Calculus of Random Generation
Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
hal-00589668v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Paul Haton. MAUD : Une interface vocale pour la saisie de textes lus
2nd International conference Interface to real and virtual worlds, Mar 1993, Montpellier, France. pp.311-318
hal-00589106v1  Conference papers
Roselyne NguyenKamel SmaïliJean-Paul HatonGuy Pérennou. Integration of phonological knowledge in a continuous speech recognition system
European conference on speech communication and technology, Sep 1993, Berlin, Germany. pp.2191-2194
hal-00835135v1  Conference papers
François CharpilletJoseph Di Martino. A Level-Building Top-Down Parsing Algorithm for Context-Free Grammars in Continuous Speech Recognition
EUROSPEECH - Third European Conference on Speech Communication and Technology - 1993, Sep 1993, Berlin, Germany. pp.1947-1949
hal-00917736v1  Journal articles
G. LouchardR. SchottM. TolleyP. Zimmermann. Random walks, heat equation and distributed algorithms
Journal of Computational and Applied Mathematics, Elsevier, 1994, 53, pp.243--274
hal-00521621v1  Conference papers
Laurent Romary. Sens et action, ou comment aménager son salon
Congrès TALN'94, 1994, Marseille, France. pp.165-174
hal-00917745v1  Journal articles
Paul Zimmermann. Gaïa: a package for the random generation of combinatorial structures
MapleTech, Waterloo Maple Software, 1994, 1 (1), pp.38-46
hal-00521606v1  Conference papers
Daniel SchangLaurent Romary. Frames, a unified model for the representation of reference and space in a Man-Machine Dialogue
3rd International Conference on Spoken Language Processing (ICSLP-94), 1994, Yokohama, Japan
hal-00521622v1  Conference papers
Xavier PouteauLaurent RomaryJean-Marie Pierrel. Voix, geste et multimodalité : quand dire c'est faire faire
Congrès ERGO-IA'94, 1994, Biarritz, France. pp.491-500
hal-00917741v1  Journal articles
B. SalvyP. Zimmermann. Gfun: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
ACM Transactions on Mathematical Software, Association for Computing Machinery, 1994, 20 (2), pp.163--177. ⟨10.1145/178365.178368⟩
hal-00589127v1  Conference papers
Joseph Di MartinoJean-François MariB. MathieuK. PerotKamel Smaïli. Which model for future speech recognition systems: Hidden Markov models for finite-state automata?
IEEE International Conference on Acoustics, Speech, and Signal Processing - ICASSP-94, 1994, Adelaïd, Australia. pp.633-635
hal-00521605v1  Conference papers
Daniel SchangLaurent Romary. Framing the world, towards a localised spatial reasoning
3rd International Conference on the Cognitive Science of Natural Language Processing (CSNLP-94), 1994, Dublin, Ireland
hal-00917740v1  Journal articles
I. RivinI. VardiP. Zimmermann. The n-Queens Problem
American Mathematical Monthly, Mathematical Association of America, 1994, 101 (7), pp.629--639. ⟨10.1080/00029890.1994.11997004⟩
hal-00917747v1  Journal articles
P. Zimmermann. Function Composition and Automatic Average Case Analysis
Discrete Mathematics, Elsevier, 1995, 139, pp.443-453
hal-00917728v1  Conference papers
Klaus DrescherPaul Zimmermann. Gröbner bases in MuPAD: state and future
Proceedings of the PoSSo workshop on software, Paris, 1995, Unknown, pp.177--182
hal-00917735v1  Books
Claude GomezBruno SalvyPaul Zimmermann. Calcul formel : mode d'emploi. Exemples en Maple
Masson, 13, pp.328, 1995, Logique mathématiques informatique, 2-225-84780-0
hal-00917746v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.2.2
Computer Algebra Nederland Nieuwsbrief, CWI, 1995, pp.53--64
hal-00917748v1  Conference papers
P. Zimmermann. Uniform random generation for the powerset construction
Proceedings of the 7th conference on Formal Power Series and Algebraic Combinatorics, 1995, Marne-la-Vallée, pp.589-600
hal-00917749v1  Journal articles
P. Zimmermann. New features in MuPAD 1.2.2
MathPAD, Paderborn University, 1995, 5 (1), pp.27--38
hal-02565330v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. A more efficient Lagrangian relaxation approach to job-shop scheduling problems
1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan. pp.496-501, ⟨10.1109/ROBOT.1995.525332⟩
hal-00521652v1  Conference papers
Patrice BonhommeLaurent Romary. Projet de Concordances Parallèles Lingua : gestion de textes multilingues pour l'apprentissage des langues
15èmes Journées Internationales I.A. Génie Linguistique, Jun 1995, Montpellier, France
hal-02565328v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic hoist scheduling based on graph theory
1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, Oct 1995, Paris, France. pp.451-459, ⟨10.1109/ETFA.1995.496798⟩
hal-00917750v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.3
SAC Newsletter, SAC, 1996
hal-00917739v1  Conference papers
Frank PostelPaul Zimmermann. A review of the ODE solvers of Axiom, Derive, Maple, Mathematica, Macsyma, MuPAD and Reduce
Proceedings of the 5th RHINE workshop on computer algebra, 1996, Saint-Louis, France. pp.2.1--2.10
inria-00532695v1  Directions of work or proceedings
Marie-Odile BergerRachid DericheIsabelle HerlinJérôme JaffréJean-Michel Morel. ICAOS'96: 12th International Conference On Analysis and Optimization of Systems - Images, Wavelets and PDE's
Marie-Odile Berger; Rachid Deriche; Isabelle Herlin; Jérôme Jaffré; Jean-Michel Morel. Jun 1996, Paris, France. 219, Springer-Verlag, pp.359, 1996, Lecture Notes in Control and Information Sciences
inria-00177382v1  Conference papers
ye-Qiong SongFrançoise Simonot-LionNicolas Navet. Validation of distributed real time systems thanks to performance evaluation of their physical architecture
CESA'96 IMACS Multiconference : computational engineering in systems applications - Symposium on discrete events and manufacturing systems, Jul 1996, Lille, France. pp.507-512
hal-02565323v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic part scheduling in a robotic cell
IEEE International Conference on Systems, Man and Cybernetics, Oct 1996, Beijing, China. pp.2928-2933, ⟨10.1109/ICSMC.1996.561407⟩
hal-00521607v1  Conference papers
Frédéric WolffLaurent RomaryNadia Bellalem. Perception et action dans le cadre d'une interface homme-machine multimodale : Etude expérimentale
Journées Internationales d'Orsay sur les Sciences Cognitives - JIOSC'97, 1997, Orsay, France
hal-01434770v1  Conference papers
Fabrice RouillierM.F. Roy. Polynomial system solving in practice
FoCM'97, 1997, Unknown, Unknown Region
hal-01434768v1  Conference papers
Fabrice Rouillier. Application of Modules (RealSolving/FRISCO)
MuPAD Workshop 1997, 1997, Unknown, Unknown Region
inria-00099010v1  Conference papers
Alain LecomteFrançois LamarcheGuy Perrier. Logical Aspects of Computational Linguistics - selected papers from LACl'97
2th International Conference on Logical Aspects of Computational Linguistics, LORIA, 1997, Nancy, France, 251 p
hal-00521653v1  Conference papers
Florence BruneseauxEvelyne BourionLaurent Romary. A User-Oriented Linguistic Resource Server: The Silfide Project
DRH 97 (Digital Resources in the Humanities), 1997, Oxford, United Kingdom. pp.303-306
inria-00615078v1  Journal articles
L. PicardEric MaurincommeM. SodermanJacques FeldmarRené Anxionnat et al.  X-ray angiography in stereotactic conditions: techniques and interest for interventional neuroradiology
Stereotactic and Functional Neurosurgery, Karger, 1997, 68 (1-4 Pt 1), pp.117-20
hal-00917751v1  Journal articles
Paul Zimmermann. Calcul formel : l'embarras du choix
Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43
hal-00917752v1  Book sections
Paul Zimmermann. Calcul formel : ce qu'il y a dans la boîte
Nicole Berline and Claude Sabbah. Journées X-UPS 97, École Polytechnique, pp.47--62, 1997
inria-00525176v1  Conference papers
Laurent RomaryJean-Marie Pierrel. The Silfide project: an Open Access to Linguistic Resources in French
Language Applications for a Multilingual Europe - Telri Seminar on Language Technology, Apr 1997, Kaunas, Lithuania
hal-01112905v1  Conference papers
Kamel SmaïliImed ZitouniFrançois CharpilletJean-Paul Haton. An Hybrid Language Model for a Continuous Dictation Prototype
5th European Conference on Speech Communication and Technology, Sep 1997, Rhodes, Greece
hal-00835319v1  Conference papers
Joseph Di Martino. Speech synthesis using phase vocoder techniques
EUROSPEECH - Fifth European Conference on Speech Communication and Technology - 1997, Sep 1997, Rhodes, Greece
inria-00525537v1  Conference papers
Laurent Romary. Electronic (Bilingual) Dictionaries and Standardization
Translation Equivalence - Theory and Practice, Telri Seminar, Oct 1997, Montecatini Terme, Italy
inria-00525517v1  Conference papers
Laurent Romary. Putting on-web existing SGML collections: examples from the Text Encoding Initiative (TEI)
Workshop The potential of XML for Web-based Applications, INRIA, Oct 1997, Sophia Antipolis, France
inria-00098615v1  Conference papers
Vladimir Grebinski. On the Power of Additive Combinatorial Search Model
Fourth Annual International Computing and Combinatorics Conference - COCOON'98, 1998, Taipei/Taiwan, pp.194-203
inria-00098622v1  Reports
Jean-Pierre ThomesseOlivier Poupel. Working Document - Project Web Site NOAH ESPRIT
[Contract] 98-R-145 || thomesse98c, 1998, 30 p
inria-00098633v1  Book sections
Christian Ah-Soon. A Constraint Network for Symbol Detection in Architectural Drawings
Tombre, Karl and Chhabra, Atul K. Graphics Recognition - Algorithms and Systems - GREC'97, Springer-Verlag, pp.80-90, 1998, Lecture Notes in Computer Science
inria-00098573v1  Journal articles
Guy Perrier. Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic
Theoretical Computer Science, Elsevier, 1998, 206 (1-2), pp.353-354
inria-00098595v1  Journal articles
Anne ReboulJacques Moeschler. Théorie de l'esprit, rationalité et principe de charité : l'évaluation de la qualité des textes
Cahiers de linguistique française, Université de Genève, 1998, 20, pp.209-227
inria-00098572v1  Conference papers
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910
inria-00098517v1  Journal articles
Carlos Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules & Strategies
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.263-293
inria-00098456v1  Conference papers
Nicolas Navetye-Qiong Song. On fault tolerance and worst-case response time analysis in CAN
23nd IFAC/IFIP Workshop on Real-Time Programming, 1998, Shantou/China, 6 p
inria-00098465v1  Conference papers
Rémy Foisel. Construire des systèmes multi-agents à partir de schémas d'interactions
Journées Francophones d'Intelligence Artificielle et Systèmes Multi-Agents - JFIADSMA'98, 1998, Pont-à-Mousson, France, pp.295-308
inria-00098492v1  Conference papers
Laurent VigneronAnita Wasilewska. Rough Sets Congruences and Diagrams
16th European Conference on Operational Research (EURO XVI), session on Rough Sets, 1998, Brussels, Belgium, 1 p
inria-00098493v1  Conference papers
Laurent VigneronAnita Wasilewska. Rough Diagrams
6th International Workshop on Rough Sets, Data Mining & Granular Computing (RSDMGrC'98) at the 4th Joint Conference on Information Sciences, 1998, Research Triangle Park, NC, 4 p
inria-00098500v1  Journal articles
Philippe de GrooteGuy Perrier. A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic
Formal Aspects of Computing, Springer Verlag, 1998, 10 (2), pp.160-170
inria-00098504v1  Conference papers
Matthieu CourrierFrançoise Simonot-Lionye-Qiong Song. Microscopic Modeling of Support System for In-Vehicle Embedded Systems
International IFIP Workshop on Distributed & Parallel Embedded Systems, IFIP, 1998, Paderborn/Germany, 10 p
inria-00098507v1  Conference papers
Peter BorovanskySalma JamoussiPierre-Etienne MoreauChristophe Ringeissen. Handling ELAN Rewrite Programs via an Exchange Format
Second Workshop on Rewriting Logic & its Applications - WRLA'98, 1998, Pont-à-Moussson, France, 18 p
inria-00098418v1  Book sections
Hélène Kirchner. Orderings in Automated Theorem Proving
Hoffman, Frederick. Mathematical Aspects of Artificial Intelligence, American Mathematical Society, pp.55-95, 1998, Proceedings of Symposia in Applied Mathematics
inria-00098426v1  Conference papers
Paliath NarendranMichaël RusinowitchRakesh Verma. RPO constraint solving is in NP
Computer Science Logic, 1998, Brno, Tchêquie, 12 p
inria-00098429v1  Directions of work or proceedings
Karl TombreAtul K. Chhabra. Graphics Recognition -- Algorithms and Systems
Springer Verlag, 420 p, 1998, Lecture Notes in Computer Science
inria-00098437v1  Conference papers
Richard MayrMichaël Rusinowitch. Reachability is decidable for ground AC Rewrite systems
INFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p
inria-00098440v1  Conference papers
Alain LecomteChristian Retoré. Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144
inria-00098466v1  Journal articles
Gérôme CanalsClaude GodartFrançois CharoyPascal MolliHala Skaf. COO Approach to Support Cooperation in Software Developments
IEE Proceedings Software, Institution of Engineering and Technology, 1998, 145 (2-3), pp.79-84. ⟨10.1049/ip-sen:19985842⟩
inria-00098564v1  Reports
Serge GrigorieffJean-yves Marion. Kolmogorov complexity and non-determinism
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
inria-00098569v1  Other publications
Fabrice Rouillier. RealSolving
inria-00098624v1  Conference papers
Narjes BerregebAdel BouhoulaMichaël Rusinowitch. Observational Proofs with Critical Contexts
Fundamental Approaches to Software Engineering - ETAPS'98, 1998, Lisboa, Portugal, pp.38-53
inria-00098469v1  Conference papers
Florence Le BerArnaud DuryVincent Chevrier. Un modèle multi-agents pour la simulation en agronomie : usages et comparaisons
Journées Francophones sur l'intelligence artificielle distribuée et les systèmes multi-agents - JFIADSMA 98, 1998, Pont-à-Mousson (France), France
inria-00098470v1  Journal articles
Olivier FestorGeorge Pavlou. Management Information Model Engineering
Journal of Network and Systems Management, Springer Verlag, 1998, 6 (3), pp.239-244
inria-00098480v1  Conference papers
Jean-Pierre Thomesse. Les communications temps réel au service de la logistique
La logistique, parlons en ensemble, 1998, Reims/France, 13 p
inria-00098488v1  Conference papers
Antony VignierSven WagnerMarie-Claude Portmann. Alternative Assignment and Sequencing on 2-Parallel Machine problem under constraints
6th Int. Workshop on Production Management & Scheduling - WPMS, 1998, Istanbul, Turkie, pp.324-328