Skip to Main content Skip to Navigation
  1. Search


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 Boyer, Joseph Di Martino, Jean-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 Boyer, Joseph Di Martino, Jean-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 Boyer, Jean-Paul Haton, Joseph 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 Boyer, Joseph Di Martino, P. Divoux, Jean-Paul Haton, Jean-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 Zock, Gil Francopoulo, Abdellatif 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 Zock, Abdellatif Laroui, Gil 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 Boyer, Joseph Di Martino, P. Divoux, Jean-Paul Haton, Jean-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ïli, François Charpillet, Jean-Marie Pierrel, Jean-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 Flajolet, Paul Zimmermann, Bernard 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ïli, François Charpillet, Jean-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 Nguyen, Kamel Smaïli, Jean-Paul Haton, Guy 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 Charpillet, Joseph 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. Louchard, R. Schott, M. Tolley, P. 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 Schang, Laurent 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 Pouteau, Laurent Romary, Jean-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. Salvy, P. 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 Martino, Jean-François Mari, B. Mathieu, K. Perot, Kamel 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 Schang, Laurent 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. Rivin, I. Vardi, P. 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 Drescher, Paul 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 Gomez, Bruno Salvy, Paul 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 Chen, Chengbin Chu, Jean-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 Bonhomme, Laurent 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 Chen, Chengbin Chu, Jean-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 Postel, Paul 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 Berger, Rachid Deriche, Isabelle Herlin, Jé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 Song, Françoise Simonot-Lion, Nicolas 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 Chen, Chengbin Chu, Jean-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 Wolff, Laurent Romary, Nadia 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 Rouillier, M.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 Lecomte, François Lamarche, Guy 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 Bruneseaux, Evelyne Bourion, Laurent 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. Picard, Eric Maurincomme, M. Soderman, Jacques Feldmar, René 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 Romary, Jean-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ïli, Imed Zitouni, François Charpillet, Jean-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 Thomesse, Olivier 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 Reboul, Jacques 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 Navet, ye-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 Vigneron, Anita 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 Vigneron, Anita 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 Groote, Guy 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 Courrier, Françoise Simonot-Lion, ye-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 Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe 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 Narendran, Michaël Rusinowitch, Rakesh Verma. RPO constraint solving is in NP
Computer Science Logic, 1998, Brno, Tchêquie, 12 p
inria-00098429v1  Directions of work or proceedings
Karl Tombre, Atul K. Chhabra. Graphics Recognition -- Algorithms and Systems
Springer Verlag, 420 p, 1998, Lecture Notes in Computer Science
inria-00098437v1  Conference papers
Richard Mayr, Michaë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 Lecomte, Christian 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 Canals, Claude Godart, François Charoy, Pascal Molli, Hala 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 Grigorieff, Jean-yves Marion. Kolmogorov complexity and non-determinism
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
inria-00098569v1  Other publications
Fabrice Rouillier. RealSolving
1998
inria-00098624v1  Conference papers
Narjes Berregeb, Adel Bouhoula, Michaë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 Ber, Arnaud Dury, Vincent 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 Festor, George 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 Vignier, Sven Wagner, Marie-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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/