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.10071978-3-642-82447-0⟩
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
...
inria-00070008v1  Reports
Roberto M. AmadioPierre-Louis Curien. Selected domains and lambda calculi
[Technical Report] RT-0161, INRIA. 1994, pp.199
...
inria-00074484v1  Reports
Adel BouhoulaE. KounalisMichaël Rusinowitch. Automated mathematical induction
[Research Report] RR-2187, INRIA. 1994, pp.42
...
inria-00074183v1  Reports
Denis Lugiez. Positive and negative results for higher-order disunification
[Research Report] RR-2492, INRIA. 1995, pp.36
...
hal-00416585v1  Book sections
Nadia BellalemLaurent Romary. Langue et geste pour le dialogue homme-machine finalisé
Caelen, Jean and Zreik, Khaldoun. Le Communicationnel pour Concevoir, Europia Productions, pp.185-201, 1995
...
inria-00073915v1  Reports
Iliès AlouiniClaude Kirchner. Conditional Concurrent Rewriting
[Research Report] RR-2777, INRIA. 1996, pp.24
...
inria-00073574v1  Reports
Olivier CoulaudEric Dillon. Para++: C++ bindings for Message Passing
[Research Report] RR-3116, INRIA. 1997, pp.18
...
inria-00073362v1  Reports
Bernhard Gramlich. On Semi-Completeness of Term Rewriting Systems
[Research Report] RR-3327, INRIA. 1997, pp.11