Skip to Main content Skip to Navigation


inria-00098943v1  Reports
Isabelle GnaedigHélène KirchnerThomas Genet. Induction for Termination
[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21
inria-00099439v1  Conference papers
Laurent Bougrain. A pruned higher-order network for knowledge extraction
International Joint Conference on Neural Networks - IJCNN'02, May 2002, Honolulu, Hawaii, USA, 4 p
inria-00100985v1  Conference papers
Nathalie RevolFabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library
SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
inria-00099008v1  Conference papers
Frédéric DesprezEric FleuryLaura Grigori. Scilab//: User interactive application and high performances
Third World Multiconference on Systemics, Cybernetics & Informatics - SCI'99 & Fifth International Conference on Information Systems Analysis & Synthesis - ISAS'99, Aug 1999, Orlando, USA
inria-00100753v1  Conference papers
Laurent RomaryNorbert ReithingerChristoph Lauer. MIAMM - Multidimensional Information Access using Multiple Modalites
International CLASS Workshop, 2002, Copenhague, Denmark, 4 p
inria-00100764v1  Conference papers
Amalia TodirascuLaurent RomaryDalila Bekhouche. Vulcain - An Ontology-based Information Extraction System
International Conference on Applications of Natural Language to information systems - NLDB'02, DSV, Information Technology University, Jun 2002, Stockholm, Sweden, pp.64-75
inria-00522005v1  Journal articles
Pierre-Yves DurandJacques ChanliauJean-Pierre ThomesseFrançois CharpilletLaurent Romary et al.  Une nouvelle ère en dialyse péritonéale : la télémédecine intelligente
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (1, S17)
inria-00526961v1  Conference papers
Laurent Romary. Representation and mormalization of multilingual dictionaries
Workshop « From Information to Knowledge Using Astronomical Databases », Observatoire de Strasbourg, Jun 1999, Strasbourg, France
inria-00098929v1  Conference papers
Laurent Romary. Representation and normalization of multilingual dictionaries
Workshop from Information to Knowledge Using Astronomical Databases, 1999, Strasbourg, France
inria-00100679v1  Conference papers
Laurent Romary. Lexical experience with SALT
LREC 2002 - 3rd International Conference on Language Resources and Communication, May 2002, Las Palmas, Spain
inria-00098928v1  Conference papers
Laurent Romary. Designing an editorial platform for a multilingual terminology the experience provided by the DHYDRO project
The 4th EUROLAN Summer School on Human Language Technology, 1999, Iasi, Roumania
inria-00100714v1  Journal articles
Adel BouhoulaMichaël Rusinowitch. Observational proofs by rewriting
Theoretical Computer Science, Elsevier, 2002, 275 (1-2), pp.675-698. ⟨10.1016/S0304-3975(01)00333-4⟩
inria-00100725v1  Journal articles
Olivier BournezMichael Branicky. On the mortality problem for matrices of low dimensions
Theory of Computing Systems, Springer Verlag, 2002, 35 (4), pp.433-448. ⟨10.1007/s00224-002-1010-5⟩
inria-00100721v1  Journal articles
Yann Guermeur. Combining Discriminant Models with new Multi-Class SVMs
Pattern Analysis and Applications, Springer Verlag, 2002, 5 (2), pp.168-179. ⟨10.1007/s100440200015⟩
inria-00100712v1  Journal articles
Philippe de GrooteFrançois Lamarche. Classical Non Associative Lambek Calculus
Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
inria-00100711v1  Journal articles
Richard BluteFrançois LamarchePaul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
inria-00100709v1  Journal articles
Serge GrigorieffJean-Yves Marion. Kolmogorov complexity and non-determinism
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
inria-00100759v1  Journal articles
Florence Le BerAmedeo Napoli. The design of an object-based system for representing and classifying spatial structures and relations
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2002, 8 (8), pp.751-773. ⟨10.3217/jucs-008-08-0751⟩
inria-00100870v1  Conference papers
Antonio CapobiancoNoëlle Carbonell. Contextual Online Help: a Contribution to the Implementation of Universal Access
First Cambridge Workshop on Universal Access and Assistive Technologies - CWUAAT'2002, Mar 2002, Cambridge, United Kingdom. pp.131-140
inria-00100871v1  Conference papers
Antonio CapobiancoNoëlle Carbonell. Conception d'aides en ligne pour le grand public : défis et propositions
Conférence Ergonomie et informatique avancée - ERGO IA 2002, 2002, Biarritz, France. pp.309-335
inria-00101020v1  Conference papers
Antonio Capobianco. Acquisition et évaluation ergonomique de stratégies d'aide contextuelles
Journée d'étude du réseau thématique "Système d'aide opératoire", ACI Cognitique, 2002, Paris, France
inria-00100990v1  Journal articles
Claire GardentJean-Marie Pierrel. Aspects linguistiques du traitement automatique du dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.7-12
inria-00100835v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Keyword Spotting using Support Vector Machines
Fifth International Conference on Text, Speech and Dialogue - TSD'2002, Sep 2002, Brno, Czech Republic, 8 p
inria-00100841v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Hidden Markov modeling techniques
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
inria-00100842v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Support Vector Machines for Keyword Spotting
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
inria-00100833v1  Conference papers
Yassine BenayedDominique FohrJean-Paul HatonGérard Chollet. Recognition and Rejection Performance in Wordspotting Systems Using Support Vector Machines
2nd WSEAS International Conference on Signal, Speech and Image Processing - WSEAS ICOSSIP'2002, Sep 2002, Koukounaries, Skiathos Island, Greece, 6 p
inria-00098887v1  Conference papers
Olivier BournezOded MalerAmir Pnueli. Orthogonal Polyhedra: Representation and Computation
Hybrid Systems: Computation & Control - HSCC'99, 1999, Berg en Dal, Pays Bas, pp.46-60
inria-00000240v1  Conference papers
Antoine TabboneLaurent WendlingDaniel Girardeau-Montaut. Mesures de rectangularité et d'ellipticité à partir de la transformée de Radon
4ème Colloque International Francophone sur l'Ecrit et le Document - CIFED'2002, Oct 2002, Hammamet/Tunisie, pp.265-274
inria-00100724v1  Conference papers
Antoine TabboneLaurent Wendling. Indexation par le contenu de documents techniques à partir de la transformée de Radon bidimensionnelle
Actes du 13eme Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle - RFIA'2002, Jan 2002, Angers, France, 17 p
inria-00100781v1  Conference papers
Karl TombreAntoine TabboneLoïc PélissierBart LamiroyPhilippe Dosch. Text/Graphics Separation Revisited
5th International Workshop on Document Analysis - DAS'02, 2002, Princeton, NJ, USA, pp.200-211
inria-00100804v1  Journal articles
Laurent WendlingAntoine TabbonePascal Matsakis. Fast and Robust Recognition of Orbit and Sinus Drawings Using Histograms of Forces
Pattern Recognition Letters, Elsevier, 2002, 23 (14), pp.1687-1693
inria-00100839v1  Book sections
Gemma SánchezJosep LladósKarl Tombre. An Error-Correction Graph Grammar to Recognize Texture Symbols
Dorothea Blostein and Young-Bin Kwon. International Workshop on Graphics Recognition - GREC'2001, Springer Verlag, pp.128-138, 2002, Lecture Notes in Computer Science
inria-00100840v1  Book sections
Xavier HilaireKarl Tombre. Improving the Accuracy of Skeleton-Based Vectorization
Dorothea Blostein and Young-Bin Kwon. Graphics Recognition - Algorithms and Applications, Springer Verlag, pp.273-288, 2002, Lecture Notes in Computer Science
inria-00100843v1  Conference papers
Antoine TabboneLaurent Wendling. Technical Symbols Recognition Using the Two-Dimensional Radon Transform
16th International Conference on Pattern Recognition - ICPR 2002, 2002, Québec, Canada, 4 p
inria-00100844v1  Conference papers
Antoine TabboneLaurent Wendling. An Original Multi-Scale Algorithm to Binarize Images
16th International Conference on Pattern Recognition - ICPR'2002, 2002, Québec City, Canada, 17 p
inria-00100890v1  Conference papers
Ernest ValvenyBart Lamiroy. Scan-to-XML : Automatic Generation of Browsable Technical Documents
Sixteenth International Conference on Pattern Recognition - ICPR 2002, IAPR, 2002, Québec city, QC, Canada, pp.188-192
inria-00101057v1  Reports
Egon BalasAlexander BockmayrNicolai PisarukLaurence Wolsey. On unions and dominants of polytopes
[Intern report] A02-R-104 || balas02a, 2002, 23 p
inria-00101008v1  Journal articles
Egidio AstesianoMichel BidoitHélène KirchnerBernd Krieg-BrücknerPeter D. Mosses et al.  CASL: The Common Algebraic Specification Language
Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196
inria-00100949v1  Journal articles
Mohamed Ali AloulouMarc SevauxAndré RossiMarie-Laure EspinouseAziz Moukrim et al.  Flexibilité et Robustesse en Ordonnancement
Bulletin de la ROADEF, Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2002, 3 p
inria-00098828v1  Conference papers
Roberto Reyna-RojasDaniel EstèveDominique Martinez. An integrated vision system: object detection and localization
3rd International Workshop on design of mixed mode integrated circuits & applications, Jul 1999, Puerto Vallarta, Mexico
inria-00100895v1  Conference papers
Gülgün AlpanBruno Gaujal. Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
IEEE International Conference on Systems, Man and Cybernetics 2002 - IEEE SMC 2002, 2002, Hammamet/Tunisia
inria-00108049v1  Conference papers
Erwan KerrienMarie-Odile BergerEric MaurincommeLaurent LaunayRégis Vaillant et al.  Fully automatic 3D/2D subtracted angiography registration
International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99, 1999, Cambridge, England, pp.664--671
inria-00099007v1  Conference papers
Frédéric DesprezEric FleuryClaude GomezSerge SteerStéphane Ubéda. Bringing Metacomputing to Scilab
Computer Aided Control System Design - CACSd' 99, Aug 1999, Hawaï, USA, 6 p
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00100726v1  Journal articles
Paolo CastelpietraYe-Qiong SongFrançoise Simonot-LionMondher Attia. Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1251-1264. ⟨10.1109/TIE.2002.804972⟩
inria-00100901v1  Journal articles
Gülgün AlpanMohsen A. Jafari. Synthesis of a closed-loop combined plant and controller model
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2002, 32 (2), pp.163-175. ⟨10.1109/3477.990873⟩
inria-00100802v1  Journal articles
Gilles SimonMarie-Odile Berger. Pose Estimation for Planar Structures
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2002, 22 (6), pp.46-53. ⟨10.1109/MCG.2002.1046628⟩
inria-00108050v1  Conference papers
Gilles SimonMarie-Odile Berger. Registration Methods for Harmonious Integration of Real Worlds and Computer Generated Objects
Advanced Research Workshop on Confluence of Computer Vision and Computer Graphics, Aug 1999, Ljubljana, Slovenia, 3 p
inria-00100720v1  Conference papers
Gilles SimonMarie-Odile Berger. Recalage temporel d'une structure plane par morceaux : application à la Réalité Augmentée temps réel
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'2002, Jan 2002, Angers, France, 8 p
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-00100734v1  Conference papers
Gérald DuffingMalika Smaïl. Organising and Searching Partially Indexed Image Databases
24th BCS-IRSG European Colloquium on Information Retrieval Research, 2002, Glasgow, Scotland, UK, 19 p
inria-00100777v1  Journal articles
Vladimir Y. LuninAlexandre UrzhumtsevAlexander Bockmayr. Direct phasing by binary integer programming
Acta Crystallographica Section A Foundations and Advances, International Union of Crystallography, 2002, 58, pp.283-291
inria-00100948v1  Conference papers
Guillaume ThisselinAntony Vignier. A Scheduling Problem with Multiple Purposes and Unrelated Resources ("The Farmer Problem")
Eighth International Workshop on Project Management and Scheduling - PMS 2002, Apr 2002, Valencia, Spain, 4 p
inria-00100784v1  Conference papers
Christine BourjotVincent ChevrierVincent Thomas. How Social Spider Inspired An Approach To Region Detection
First International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2002, 2002, Bologna, Italy, 8 p
inria-00100850v1  Conference papers
Mohamed EssaïdiIsabelle Guérin-LassousJens Gustedt. SSCRAP: An Environment for Coarse Grained Algorithms
14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS'2002, Nov 2002, Boston, MA, USA, pp.398-403
inria-00100857v1  Conference papers
Murat DevirenKhalid Daoudi. Continuous Speech Recognition Using Dynamic Bayesian Networks: A Fast Decoding Algorithm
First European Workshop on Probabilistic Graphical Models - PGM'02, Nov 2002, Cuenca, Spain, 9 p
inria-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
inria-00100922v1  Conference papers
Ernst AlthausAlexander BockmayrMatthias ElfThomas KasperMichael Jünger et al.  SCIL - Symbolic Constraints in Integer Linear Programming
10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87
inria-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
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-00100812v1  Conference papers
Laurent JeanpierreFrançois Charpillet. Hidden Markov Models for Medical Diagnosis
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - HEALTHCOM 2002, 2002, Nancy, France, 5 p
inria-00100768v1  Conference papers
Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC
16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
inria-00100988v1  Conference papers
Manfred Schmidt-SchaussJürgen Stuber. On the complexity of linear and stratified context matching problems
2nd International Workshop on Complexity in Automated Deduction - CiAD'02, Jul 2002, Copenhagen, Denmark. 18 p
inria-00101083v1  Reports
Paolo CastelpietraJörn MiggeEvelyne Silva. AIL, AIML and XML in the AEE Project
[Intern report] A02-R-401 || castelpietra02a, 2002
inria-00100765v1  Conference papers
Olivier BuffetAlain DutechFrançois Charpillet. Learning to weigh basic behaviors in Scalable Agents
First International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2002, 2002, Bologna, Italy, pp.1264-1265
inria-00101032v1  Conference papers
Mark G. J. van den BrandJ. ScheerderJ.J. VinjuEelco Visser. Disambiguation Filters for Scannerless Generalized LR Parsers
11th International Conference on Compiler Construction - CC'02, Apr 2002, Grenoble, France, pp.143-158
inria-00100795v1  Conference papers
Dominique MartinezAlistair Bray. Kernel Temporal Component Analysis (KTCA)
European Symposium on Artificial Neural Networks - ESANN'2002, Apr 2002, Bruges, Belgium, pp.477-482
inria-00098837v1  Conference papers
Catherine Pilière. A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.421-432
inria-00100957v1  Conference papers
Asma GhaffariFehmi Reben NjimaNidhal RezgXiaolan Xie. Design and coordination of partial Petri net controllers for a maximally permissive supervisory control
IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p
inria-00099361v1  Conference papers
Daniela GrigoriHala Skaf-MolliFrançois Charoy. Adding Flexibility in a Cooperative Workflow Execution Engine
8th International Conference on High Performance Computing & Networking Europe - HPCN Europe 2000, May 2002, Amsterdam, Hollande, pp.227-236
inria-00098900v1  Conference papers
Patrice Lopez. Repairing Strategies for Lexicalized Tree Grammars
Ninth Conference of the European Chapter of the Association for Computational Linguistics - EACl'99, Jun 1999, Bergen, Norway
inria-00100905v1  Conference papers
Jean-Pierre Thomesse. Fieldbuses and Quality of Service
5th Portuguese Conference on Automatic Control - Controlo 2002, 2002, Aveiro/Portugal, pp.10-14
inria-00100966v1  Conference papers
Marie-Claude PortmannMikhail Y. KovalyovHenri Amet. Dominance properties for permutation flow shop problems
Eighth International Workshop on Project Management and Scheduling, Vincente Valls, Apr 2002, Valencia, Spain, pp.297-300
inria-00100910v1  Conference papers
Jean-Pierre Thomesse. Enterprise Networking and Computing in Health Care Industry
4th IEEE International Workshop of Enterprise Networking and Computing - Healthcom 2002, 2002, Nancy/France
inria-00100919v1  Books
Dongming Wang. Méthodes d'élimination avec applications
Science Press, Pékin, XVI-302 p, 2002
inria-00098877v1  Conference papers
Karim LimamPierre VernelJacques BesseDominique Colnet. Design of a customisable processor IP
International Workshop on IP Based Synthesis & System Design, 1999, Grenoble, France, France. pp.181-184
inria-00098807v1  Conference papers
Eitan AltmanSandjai BhulaiBruno GaujalArie Hordijk. Optimal Routing to M parallel queues with no buffers
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
inria-00101010v1  Conference papers
Franck Gechter. Une méthode de localisation d'un robot mobile utilisant une approche multi-agents pour la fusion de données
15eme Journées des Jeunes Chercheurs en Robotique - JJCR 2002, 2002, Strasbourg, France, 8 p
inria-00098983v1  Conference papers
Marie-Dominique MorchAndré SchaaffMalika Smaïl. Querying Heterogeneous Databases : a user oriented system for collecting and structuring genome information
Intelligent Systems for Molecular Biology 1999 - ISMB'99, 1999, Heidelberg, Germany, pp.30