Skip to Main content Skip to Navigation


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-00100753v1  Conference papers
Laurent RomaryNorbert ReithingerChristoph Lauer. MIAMM - Multidimensional Information Access using Multiple Modalites
International CLASS Workshop, 2002, Copenhague, Denmark, 4 p
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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-00147563v1  Conference papers
Daniel Lazard. Mélange de deux lois Gaussiennes; systèmes sur-déterminés dépendant de paramètres approchés
Journees LNF, Liens Calcul Numerique-Calcul Formel, 2002, Toulouse, France
inria-00100813v1  Conference papers
Laurent JeanpierreFrançois Charpillet. Apprentissage de modèles en télémédecine
Conférence Francophone d'Apprentissage - CAP 2002, Matthieu Exbrayat, 2002, Orléans, France, 2 p
inria-00100891v1  Journal articles
Patrick BlackburnMaarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288
inria-00100906v1  Conference papers
Jean-Pierre Thomesse. Le télémonitorage au domicile des patients à risque, Diatélic et TIISSAD
3ème Journée de la Société Française de Gériatrie et Gérontologie, 2002, Faculté de médecine de Bobigny/France
inria-00100825v1  Conference papers
David BellotAnne BoyerFrançois Charpillet. A new definition of qualified gain in a data fusion
The Fifth International Conference on Information Fusion - FUSION'2002, 2002, Annapolis, Maryland, USA, 8 p
inria-00100766v1  Conference papers
Olivier BuffetAlain DutechFrançois Charpillet. Adaptive Combination of Behaviors in an Agent
European Conference on Artificial Intelligence - ECAI'02, 2002, Lyon, France, pp.48-52
inria-00099421v1  Conference papers
Emmanuel Nauer. Complémentarité entre fouille de données et recherche d'information dans le cadre d'analyses bibliométriques
13ème Congrès francophone AFRIF-AFIA de Reconnaissances des Formes et d'intelligence Artificielle, Jan 2002, Angers, France, pp.965-974
inria-00101029v1  Journal articles
Mark G. J. van den BrandJ. HeeringP. KlintP.A. Olivier. Compiling language definitions: The ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368
inria-00100736v1  Conference papers
Bruno ScherrerFrançois Charpillet. Coevolutive Planning In Markov Decision Processes
First International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2002, 2002, Palazzo Re Enzo, Bologna, Italy, 2 p
inria-00100785v1  Conference papers
Vincent ThomasChristine BourjotVincent ChevrierDidier Desor. MAS and RATS : Multi-agent simulation of social differentiation in rats' groups.
International Workshop on Self-Organization and Evolution of Social Behaviour, 2002, Monte Verita, Ascona, Switzerland, 10 p
inria-00100807v1  Conference papers
Yann GuermeurAndré ElisseeffDominique Zelus. Bound on the Risk for M-SVMs
Statistical Learning, Theory and Applications 2002, CNAM, 2002, Paris, France, 5 p
inria-00100799v1  Journal articles
Marie-Dominique MorchAndré SchaaffMalika Smaïl. Collecte et intégration de données biologiques hétérogènes sur le web : application dans le domaine de la cartographie du génome humain
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2002, 7 (1-2), pp.45-61
inria-00101054v1  Reports
Julia BitchevaOlivier PerrinClaude Godart. Cross-Organizational Processes Coordination
[Intern report] A02-R-046 || bitcheva02a, 2002, 9 p
inria-00100809v1  Conference papers
Jacques Lonchamp. An Object-oriented Collaboration Flow Management System for Virtual Team Support
8th International Conference on Object-Oriented Information Systems - OOIS'02, 2002, Montpellier, France, pp.445-457
inria-00100746v1  Conference papers
Juergen RillingAhmed SeffahChristophe Bouthier. The CONCEPT Project Applying Source Code Analysis to Reduce Information Complexity of Static and Dynamic Visualization Techniques
1st International Workshop on Visualizing Software for Understanding and Analysis - VISSOFT'2002, IEEE, 2002, Paris, France, pp.90-99, ⟨10.1109/VISSOF.2002.1019798⟩
inria-00100731v1  Conference papers
Jens GustedtOle A. MæhleJan Arne Telle. The Treewidth of Java Programs
4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02, 2002, San Francisco, CA US, 12 p
inria-00101038v1  Journal articles
Vladimir Y. LuninNatasha LuninaA. PodjarnyAlexander BockmayrAlexandre Urzhumtsev. Ab initio phasing starting from low resolution
Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
inria-00100872v1  Conference papers
Antonio CapobiancoNoëlle Carbonell. Conception d'aides en ligne : revue de questions
Journée d'étude du réseau thématique 'Systèmes d'aides opératoires', ACI Cognitique, 2002, Paris, France
inria-00101019v1  Conference papers
Antonio Capobianco. Demandes d'aide procédurale : spécification des besoins d'utilisateurs novices
14e Conférence Francophone sur l'Interaction Homme-Machine - IHM 2002, 2002, Poitiers, France. pp.57-64, ⟨10.1145/777005.777014⟩
inria-00100873v1  Conference papers
Noëlle Carbonell. Nouvelles situations et formes d'interaction, nouvelles catégories d'utilisateurs : un champ d'étude des usages à explorer
Journée de lancement du Réseau thématique pluridisciplinaire 32 "Acceptabilité, ergonomie et usage des TIC, Département STIC du CNRS, 2002, Paris, France
inria-00101022v1  Conference papers
Noëlle CarbonellConstantine Stephanidis. European Research Consortium for Informatics and Mathematics Workshop Adjunct Proceedings
7th ERCIM Workshop "User Interfaces for All" Special theme : "Universal Access", INRIA, 2002, Chantilly, France. 210 p
inria-00100917v1  Conference papers
Anis KoubaaYe-Qiong Song. Evaluation de performances d'Ethernet commuté pour des applications temps réel
10th International Conference on Real Time and Embedded Systems - RTS'2002, 2002, Paris/France
inria-00108079v1  Reports
Orazio GurrieriPaolo CastelpietraOlivier Barrière. Using EAST-ADL with GME 2000
[Intern report] A02-R-416 || gurrieri02b, 2002
inria-00100867v1  Conference papers
Françoise Simonot-LionJean-Pierre Elloy. An Architecture Description Language for In-Vehicle Embedded System Development
15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona, Spain, 8 p
inria-00100964v1  Book sections
Christian ArtiguesCyril BriandMarie-Claude PortmannFrançois Roubellat. Pilotage d'atelier basé sur un ordonnancement flexible
Patrick Pujo et Jean-Paul Kieffer. Méthodes du pilotage des systèmes de production, Hermes Lavoisier, pp.61-97, 2002, IC2 Productique
inria-00101021v1  Journal articles
Virginie Galtier. Un élément de gestion des réseaux actifs
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2002, 21, pp.899-924
inria-00100989v1  Journal articles
Yann BugeaudGuillaume HanrotMaurice Mignotte. Sur l'équation diophantienne $(x^n - 1)/(x - 1)=y^q$, III
Proceedings of the London Mathematical Society, London Mathematical Society, 2002, 84 (1), pp.59-78
hal-01431508v1  Conference papers
Eddy CaronFrédéric DesprezFrédéric LombardJean-Marc NicodMartin Quinson et al.  A Scalable Approach to Network Enabled Servers
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
hal-01431513v1  Book sections
Eddy CaronFrédéric DesprezEric FleuryFrédéric LombardJean-Marc Nicod et al.  Une approche hiérarchique des serveurs de calculs
Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X
hal-00293496v1  Conference papers
Karim BaïnaFrançois CharoyClaude GodartDaniela GrigoriSaad El Hadri et al.  CORVETTE : a Cooperative Workflow Development Experiment
3rd IFIP Working Conference on Infrastructures for Virtual Enterprises - PRO-VE'2002, 2002, Sesimbra, Portugal. pp.634
inria-00100743v1  Journal articles
Miguel AlabauLhassane IdoumgharRené Schott. New Hybrid Genetic Algorithms for the Frequency Assignment Problem
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (1), pp.27-34. ⟨10.1109/11.992851⟩
inria-00100744v1  Conference papers
Jean-Yves GreffLhassane IdoumgharRené Schott. Using Markov Decision Processes to Solve the Frequency Assignment Problem
20th IASTED International conference on Artificial Intelligence and Soft Computing - ASC'2002, IASTED, 2002, Banff, Canada, 6 p
inria-00100745v1  Conference papers
Lhassane IdoumgharMiguel AlabauRené Schott. Une Nouvelle Approche Hybride pour Résoudre le Problème d'Allocation de Fréquences
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'2002, Jan 2002, Angers, France, pp.241-248
inria-00101035v1  Journal articles
Lhassane IdoumgharDebreux Philippe. New Modelling Approach for the Frequency Assignment Problem in Broadcasting
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (4), pp.293-298
hal-01434758v1  Conference papers
Nathalie RevolFabrice Rouillier. A library for arbitrary precision interval arithmetic
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
inria-00100994v1  Conference papers
Fabrice Rouillier. Outils pour l'étude des zéros réels de systèmes algébriques
Colloque Mathématiques Effectives, 2002, Poitiers, France
inria-00101069v1  Reports
Olivier Bournez. A Generalization of Equational Proof Theory?
[Intern report] A02-R-333 || bournez02e, 2002, 2 p
inria-00100950v1  Journal articles
Asma GhaffariNidhal RezgXiaolan Xie. Theory of regions based synthesis of the maximally permissive and non blocking supervisory control
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.919-930
inria-00101003v1  Journal articles
Françoise Simonot-LionLaurent KaiserRicardo Santos Marques. Formal Method for Timed Tests Sequences Generation
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013
inria-00100880v1  Conference papers
Bruno LévySylvain Petitjean. Least Squares Conformal Maps
Fifth International Conference on Curves and Surfaces 2002, 2002, Saint-Malo, France