Skip to Main content Skip to Navigation


halshs-01450587v1  Journal articles
Jean-Paul HatonPhilippe Martin. L'analyse des indices et la détection automatique des traits
Revue d'acoustique, Paris : Information propagande françaises / Groupement des acousticiens de langue française, 1978, pp.209-211
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-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-00419550v1  Journal articles
Bertrand GaiffeLaurent Romary. « Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
...
hal-00521609v1  Journal articles
Jean-Marie PierrelBertrand GaiffeLaurent Romary. Quel lexique pour un traitement automatique de la référence ?
Cahiers de linguistique française, Université de Genève, 1994, 14, pp.37-52
...
inria-00460678v1  Journal articles
Laurent RomaryNathalie MehlDavid Woolls. The Lingua Parallel Concordancing Project: Managing Multilingual Texts for Educational Purpose
Text Technology, Humanities Communications Centre, 1994, Electronic Texts and the Text Encoding Initiative, 5 (3), pp.206-220
inria-00534043v1  Journal articles
Y. ChenevoyAbdel Belaïd. Une approche structurelle pour la reconnaissance de notices bibliographiques
Traitement du Signal, Lavoisier, 1995, Congrès CNED'94: Colloque National sur l'Ecrit et le Document No3, Rouen FRANCE (06/07/1994), 16 (6), pp.663-671
inria-00533980v1  Journal articles
J.-C. AnigboguAbdel Belaïd. Hidden Markov models in text recognition
International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 1995, 9 (6), pp.925-958. ⟨10.1142/S0218001495000389⟩
...
hal-00521618v1  Journal articles
Laurent RomaryJean-Marie Pierrel. Le projet Silfide : vers un accès ouvert aux ressources linguistiques francophones
Revue Française de Linguistique Appliquée, Paris : Publications linguistiques, 1996, 1-2, pp.77-85
...
inria-00449898v1  Journal articles
Patrice BonhommeFlorence BruneseauxLaurent Romary. Codage, documentation et diffusion de ressources textuelles
Cahiers Gutenberg, Association GUTenberg, 1996, TEI : Text Encoding Initiative., 24, pp.177-180
inria-00545095v1  Journal articles
Benjamin SingerGeorge Saon. An efficient algorithm for parallel integer multiplication
Journal of Network and Computer Applications (JNCA), Elsevier, 1996, 19 (4), pp.415-418. ⟨10.1006/jnca.1996.0029⟩
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
inria-00539591v1  Journal articles
George SaonAbdel Belaïd. High Performance Unconstrained Word Recognition System Combining HMMs and Markov Random Field
International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 1997, 11 (5), pp.771-788. ⟨10.1142/S0218001497000342⟩
...
hal-00521612v1  Journal articles
Jean-Marie PierrelLaurent Romary. Lexique, langue et tâche dans un dialogue homme-machine finalisé
Sémiotiques, Institut national de la langue française. Unité de recherche linguistique, 1997, 11, pp.95-117
inria-00537330v1  Journal articles
Abdel Belaïd. Analyse de document : de l'image à la représentation par les normes de codage
Document Numérique, Lavoisier, 1997, 1 (1), pp.21-37
inria-00537340v1  Journal articles
Abdel BelaïdGeorge Saon. Utilisation des processus markoviens en reconnaissance de l'écriture
Traitement du Signal, Lavoisier, 1997, 14 (2), pp.161-177
inria-00098479v1  Journal articles
Jacques LonchampBruno Denis. Fine-grained process modelling for collaborative work support
Journal of Decision Systems, Abingdon Oxfordshire UK: Routledge Taylor & Francis Group, 1998, Decision Support Systems : Groupware - Multimedia - Electronic Commerce, 7 (SI), pp.263-282
inria-00098489v1  Journal articles
Laurence Danlos. G-TAG : un formalisme lexicalisé pour la génération de textes inspiré de TAG
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 1998, 39 (2), 28 p
inria-00098601v1  Journal articles
Didier Galmiche. Connection proof search methods in Linear Logic and proof nets construction
Theoretical Computer Science, Elsevier, 1998, 30 p
inria-00098604v1  Journal articles
Didier GalmicheBruno Martin. Proof nets Construction and Automated Deduction in Non-commutative Linear Logic - extended abstract
Electronic Notes in Theoretical Computer Science, Elsevier, 1998, 17, pp.1-20
inria-00098485v1  Journal articles
Gülgün AlpanMohsen A. Jafari. Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (3), pp.488-492
inria-00098550v1  Journal articles
Denis Roegel. Anatomie d'une macro
Cahiers Gutenberg, Association GUTenberg, 1998, pp.19-27
inria-00098499v1  Journal articles
Philippe de Groote. An environment machine for the $\lambda\mu$-calculus
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.637-669
inria-00098447v1  Journal articles
Thomas LambolaisNicole LevyJeanine Souquières. Assistance au développement de spécifications de protocoles de communication
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1061-1082
inria-00098498v1  Journal articles
Abdel BelaïdParmentier François. Reconnaissance de tables de matières : le projet TDM
Document Numérique, Lavoisier, 1998, 14 p
inria-00098487v1  Journal articles
Lionel DupontAntony VignierMarie-Claude PortmannChristian Proust. New Separation Scheme for Hybrid Flowshop
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 1998, 32 (4), pp.453-465
inria-00098461v1  Journal articles
Olivier ZendraDominique ColnetPhilippe Coucaud. SmallEiffel : l'Eiffel à Très Grande Vitesse
Programmez !, Magazine Programmez, 1998, pp.64--67
inria-00098594v1  Journal articles
Anne Reboul. Conditionnel et assertion conditionnelle
Langue française, Armand Colin, 1998, 28 p
inria-00098446v1  Journal articles
Djemel ZiouAntoine Tabbone. Edge Detection Techniques-An Overview
Распознавание образов и анализ изображен / Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, MAIK Nauka/Interperiodica (МАИК Наука/Интерпериодика), 1998, 8 (4), pp.537-559
inria-00098497v1  Journal articles
Eric FleuryPierre Fraigniaud. Strategies for Path-Based Multicasting in Wormhole-Routed Meshes
Journal of Parallel and Distributed Computing, Elsevier, 1998, 53 (1), pp.26--62
inria-00098547v1  Journal articles
Hala Naja. La représentation multiple d'objets pour l'ingénierie
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 1998, 4 (2), pp.173-191
inria-00098592v1  Journal articles
Anne Reboul. La fiction et le mensonge : les "parasites" dans la théorie des actes de langage
Interaction et Cognition, L'Harmattan, 1998, 11 (1-2), pp.87-125
inria-00098495v1  Journal articles
Abdel Belaïd. Retrospective Document Conversion: Application to the Library Domain
International Journal on Document Analysis and & Recognition, 1998, 1 (3), pp.125-146
inria-00098448v1  Journal articles
Bruno MermetDominique MéryDmitri Samborski. Spécification de services : une approche avec B
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180
inria-00098491v1  Journal articles
Guy Perrier. Concurrent Programming as Proof Net Construction
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.681-710
inria-00098459v1  Journal articles
Nicolas Navet. Controller Area Network: CANs use within automobiles
IEEE Potentials, Institute of Electrical and Electronics Engineers, 1998, 17 (4), pp.12-14
inria-00098466v1  Journal articles
Gérôme CanalsClaude GodartFrançois CharoyPascal MolliHala Skaf-Molli. 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-00098430v1  Journal articles
Sylvain Petitjean. A Computational Geometric Approach to Visual Hulls
International Journal of Computational Geometry and Applications, World Scientific Publishing, 1998, 8 (4), pp.407-436
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-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-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-00098473v1  Journal articles
Emmanuel Nataf. Une formalisation du comportement des relations de la gestion OSI
Revue Electronique Réseaux Informatique Répartie, Université de Pau, 1998, 16 p
inria-00108035v1  Journal articles
Malika Smaïl. Vers des systèmes évolutifs de recherche d'information : un état de l'art
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (10), pp.1193-1222
inria-00108036v1  Journal articles
Marie-Danielle VazquezPierre BouchetHubert GerardBernard FoliguetJean-Laurent Mallet et al.  Differentiated aspect of female and male mouse mesonephroi
International Journal of Developmental Biology, University of the Basque Country Press, 1998, 42 (4), pp.621-624
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-00098449v1  Journal articles
Jean-Pierre Thomesse. A Review of the Fieldbuses
Annual Reviews in Control, Elsevier, 1998, 22, pp.35-45
inria-00098584v1  Journal articles
Anne Reboul. Review: Ter Meulen: Representing Time in Natural Language
Linguist list, Indiana University - Department of Linguistics., 1998, 9, 5 p
...
hal-00958899v1  Journal articles
Christopher LynchPolina Strogova. SOUR graphs for efficient completion
Discrete Mathematics and Theoretical Computer Science, DMTCS, 1998, 2, pp.1-25
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-00098614v1  Journal articles
Laurent Vigneron. Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 33 (1), pp.85-103
inria-00098523v1  Journal articles
Yuri BiluGuillaume Hanrot. Solving superelliptic diophantine equations by Baker's method
Compositio Mathematica, Foundation Compositio Mathematica, 1998, 112 (3), pp.273--312. ⟨10.1023/A:1000305028888⟩
inria-00108038v1  Journal articles
Patrick GrosOlivier BournezEdmond Boyer. Using geometric quasi-invariants to match and model images of line segments
Computer Vision and Image Understanding, Elsevier, 1998, 69 (2), pp.135-155
inria-00108037v1  Journal articles
Marie-Danielle VazquezPierre BouchetJean-Laurent MalletBernard FoliguetHubert Gerard et al.  3D reconstruction of the mouse's mesonephros.
Anatomia, Histologia, Embryologia, Wiley, 1998, 27 (5), pp.283-287
inria-00098410v1  Journal articles
Christopher Lynch. Local simplification
Information and Computation, Elsevier, 1998, 142 (1), pp.102-126
inria-00098460v1  Journal articles
Alain Giorgetti. Maple V release 5 pour Windows 95
Pour la science, Société Pour la Science 1998, pp.110-111
inria-00098625v1  Journal articles
Claus HintermeierClaude KirchnerHélène Kirchner. Dynamically-Typed Computations for Order-Sorted Equational Presentations
Journal of Symbolic Computation, Elsevier, 1998, 25 (4), pp.455-526
inria-00098439v1  Journal articles
Adam CichonElias Tahhan-Bittar. Ordinal recursive bounds for Higman's theorem
Theoretical Computer Science, Elsevier, 1998, 201 (1-2), pp.63-84
inria-00098476v1  Journal articles
Claude KirchnerChristophe Ringeissen. Rule-Based Constraint Programming
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.225--262
inria-00098462v1  Journal articles
Florence Bruneseaux. Noms propres, syntagmes nominaux, expressions référentielles : repérage et codage.
Langues : cahiers d'études et de recherches francophones, Université des réseaux d'expression française, 1998, 1 (1), pp.46-60
inria-00098527v1  Journal articles
Alain Lecomte. Multimodal Logic for Syntax
Logica Trianguli, Université de Nantes, 1998, 2, pp.49-72
inria-00098494v1  Journal articles
Eric FleuryPierre Fraigniaud. A General Theory for Deadlock Avoidance in Wormhole-Routed Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 1998, 9 (7), pp.626--638
inria-00098579v1  Journal articles
Jean-Charles FaugèreFrancois Moreau de Saint MartinFabrice Rouillier. Design of regular nonseparable bidimensional wavelets using Grobner basis techniques
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 1998, 46 (4), pp.845-856. ⟨10.1109/78.668541⟩
inria-00098893v1  Journal articles
Ousmane KonéRichard Castanet. Méthodes formelles de test de conformité des protocoles
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (5), pp.519-554
...
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-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-00098898v1  Journal articles
Nicolas NavetYe-Qiong Song. Reliability Improvement of the Dual-Priority Protocol under Unreliable Transmission
Control Engineering Practice, Elsevier, 1999, 7 (8), pp.975-981
...
hal-00190206v1  Journal articles
Monique Grandbastien. Teaching Expertise is at The Core of ITS Research
International Journal of Artificial Intelligence in Education (IJAIED), 1999, 10 (3-4), pp.335-349
inria-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
inria-00098997v1  Journal articles
Peter LadkinLeslie LamportBryan OlivierDenis Roegel. Lazy Caching in TLA
Distributed Computing, Springer Verlag, 1999, 12 (2-3), pp.151-174
inria-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
inria-00099018v1  Journal articles
Alexander BockmayrFriedrich EisenbrandMark HartmannAndreas S. Schulz. On the Chvátal Rank of Polytopes in the 0/1 Cube
Discrete Applied Mathematics, Elsevier, 1999, 98 (1-2), pp.21-27
inria-00098879v1  Journal articles
Jean-Marie Pierrel. Parler n'est pas suffisant", point de vue sur les interfaces orales
Pour la science, Société Pour la Science 1999
inria-00099011v1  Journal articles
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
inria-00098796v1  Journal articles
Sylvain Petitjean. Algebraic Geometry & Computer Vision: Polynomial Systems, Real & Complex Roots
Journal of Mathematical Imaging and Vision, Springer Verlag, 1999, 10 (3), pp.191-220
inria-00098976v1  Journal articles
Amos Abayomi DavidDavid Bueno. User modeling and cooperative information retrieval in information retrieval systems
Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
inria-00098841v1  Journal articles
Michel CosnardEmmanuel Jeannot. Compact DAG Representation and its Dynamic Scheduling
Journal of Parallel and Distributed Computing, Elsevier, 1999, 58 (3), pp.487-514
inria-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00108064v1  Journal articles
Bernard GirauArnaud Tisserand. MLP computing and learning on FPGA using on-line arithmetic
International Journal on System Research and Information Science, Inconnu, 1999, 21 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