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
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-00098590v1  Book sections
Anne Reboul. Foundations of reference and predication
Haspelmath, M. and König, E. and Oesterreich, W. and Raible, W. Language Typology and Language Universals, Walter de Gruyter, 41 p, 1998
inria-00098583v1  Book sections
Anne ReboulJacques Moeschler. Communication
Houde, G. and Kayser, D. and Koenig, O. and Proust, J. and Rastier, F. Vocabulaire des sciences cognitives : neuro-sciences cognitives, psychologie, intelligence artificielle, linguistique et philosophie de l'esprit, PUF, 3 p, 1998
inria-00107516v1  Book sections
Karl Tombre. Analysis of Engineering Drawings: State of the Art and Challenges
Tombre, Karl and Chhabra, Atul K. Graphics Recognition -- Algorithms and Systems, Springer Verlag, pp.257-264, 1998, Lecture Notes in Computer Science
inria-00098597v1  Book sections
Anne Reboul. Reference, agreement, evolving reference and the theory of mental representations
Coene, M. and De Mulder, W. and Dendale, P. and d'Hulst, Y. and Vetters, C. Hommages à Liliane Tasmowski-De Ryjck, Unipress, 15 p, 1998
inria-00098591v1  Book sections
Anne Reboul. Is Polyphony the Solution to a Number of Philosophico-Linguistic Problems?
Zuber, R. Essays in honor of Oswald Ducrot, 24 p, 1998
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-00098433v1  Book sections
Gladys DiazZoubir MammeriJean-Pierre Thomesse. Distributed Multimedia Applications, Systems and Platforms
Nagib Callaos, 15 p, 1998, Parallel and Distributed System: Theory and Applications
inria-00098571v1  Book sections
Laureano Gonzalez-VegaFabrice RouillierMarie-Françoise RoyGuadaluppe Trujillo. Symbolic Recipes for Real Solutions
Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩
inria-00098587v1  Book sections
Anne Reboul. I and you: personal identity and simple identity
Knuf, J. Time, space and identity: essays on deixis, Lawrence Erlbaum, 24 p, 1998
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-00108039v1  Book sections
Olivier BournezMichael Branicky. On matrix mortality in low dimensions
V. Blondel, E. Sontag, M. Vidyasagar, J. Willems. Open Problems in Mathematical Systems Theory and Control, Springer-Verlag, pp.67-70, 1998
inria-00098475v1  Book sections
Anita WasilewskaLaurent Vigneron. Rough Algebras & Automated Deduction
L. Polkowski & A. Skowron. Rough Sets in Knowledge Discovery, Springer Verlag, pp.261-275, 1998
inria-00098570v1  Book sections
Laureano Gonzalez-VegaFabrice RouillierMarie-Françoise Roy. Symbolic Recipes for Polynomial System Solving
A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_2⟩
inria-00098444v1  Book sections
Fabrice Rouillier. Real Root Counting For some Robotics problems
Merlet, J.P. Solid Mechanics & its Applications, 9 p, 1998
inria-00098839v1  Book sections
Matthieu CourrierFrançoise Simonot-LionYe-Qiong Song. Microscopic modeling of support system for in-vehicle embedded systems
Franz J. Rammig (Ed). Distributed and parallel embedded systems, Kluwer Academic Publishers, pp.139-148, 1999, IFIP
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-00110389v1  Book sections
Claude GodartHala Skaf-MolliNourredine BelkatirAntonio CarzanigaEstublier Jacky et al.  Cooperation Control in PSEE
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.117-166, 1999, Lecture Notes in Computer Science
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-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-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-00098916v1  Book sections
Christophe Cerisara. Dealing With Loss of Synchronism in Multi-Band Continuous Speech Recognition Systems
none. Computational Models of Speech Pattern Processing, 14 p, 1999
inria-00107857v1  Book sections
Hervé Frezza-BuetNicolas RougierFrédéric Alexandre. Integration of Biologically Inspired Temporal Mechanisms into a Cortical Framework for Sequence Processing
none. Neural, Symbolic and Reinforcement Methods for Sequence Learning, Springer, 28 p, 2000
inria-00099392v1  Book sections
Karl TombreChristian Ah-SoonPhilippe DoschGérald MasiniAntoine Tabbone. Stable and Robust Vectorization: How to Make the Right Choices
A. K. Chhabra & D. Dori. Third International Workshop on Graphics Recognition - GREC'99, Springer Verlag, pp.3-19, 2000, Lecture Notes in Computer Science
inria-00522032v1  Book sections
Bertrand GaiffeJean-Marie PierrelLaurent Romary. Referring in a Multimodal Environment : from NL to designation
M. M. Taylor and F. Néel and D. G. Bouwhuis. The Structure of Multimodal Dialogue II, John Benjamins, Amsterdam, pp.421-437, 2000
inria-00104543v1  Book sections
Areces CarlosEva HooglandDick de Jongh. Interpolation, definability and fixed points in interpretability logics
K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing. Advances in Modal Logic, CSLI Publications, 2000
inria-00099245v1  Book sections
Hafsa DeddiHazel EverettSylvain Lazard. Interpolation problem with curvature constraints
A. Cohen, C. Rabut & L. L. Schumaker. Curve & Surface Fitting, Vanderbilt University press, 2000