HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

halshs-00003822v1  Conference papers
Anne ReboulOlivier GrisvardBertrand Gaiffe. La représentation des actes de langage pour traiter le dialogue
Actes de l'atelier thématique "Théories sémantiques et pragmatiques: le temps, l'espace et le mouvement, du lexique au discours et au dialogue", TALN'99, 1999
inria-00069938v1  Reports
Olivier FestorNizar Ben Youssef. Un Editeur de spécifications MOF
[Rapport Technique] RT-0234, INRIA. 1999, pp.16
inria-00069939v1  Reports
Olivier FestorNizar Ben Youssef. Un analyseur sémantique pour MOF
[Rapport Technique] RT-0233, INRIA. 1999, pp.12
inria-00072840v1  Reports
Horatiu CirsteaClaude Kirchner. Introduction to the Rewriting Calculus
[Research Report] RR-3818, INRIA. 1999, pp.50
inria-00072854v1  Reports
Paul Zimmermann. Karatsuba Square Root
[Research Report] RR-3805, INRIA. 1999, pp.8
inria-00072859v1  Reports
Hubert ComonFlorent Jacquemard. Ground Reducibility is EXPTIME-complete
[Research Report] RR-3800, INRIA. 1999, pp.26
inria-00072866v1  Reports
Yann BugeaudGuillaume Hanrot. Un nouveau critère pour l'équation de Catalan
[Rapport de recherche] RR-3793, INRIA. 1999, pp.13
inria-00072949v1  Reports
Stefan Haar. On Occurrence Net Semantics of Petri Nets
[Research Report] RR-3718, INRIA. 1999
inria-00072963v1  Reports
Stefan Haar. Properties of Untimed Routed Petri Nets
[Research Report] RR-3705, INRIA. 1999
inria-00072978v1  Reports
Bruno GaujalStefan Haar. Non-Ambiguous Petri Nets
[Research Report] RR-3691, INRIA. 1999
inria-00072990v1  Reports
David PlaistedGregory Kucherov. The Complexity of Some Complementation Problems
[Research Report] RR-3681, INRIA. 1999, pp.15
inria-00098744v1  Conference papers
Vladimir GrebinskiGregory Kucherov. Reconstructing Set Partitions
Tenth Annual ACM-SIAM Symposium on Discrete Algorithms - SODA'99, 1999, Baltimore, Maryland/US, pp.2
inria-00098745v1  Conference papers
Olivier GrisvardBertrand Gaiffe. Command Dialogue Management
8th International Conference on Human-Computer Interaction - HCI International'99, Fraunhofer IAO & University od Stuttgart, 1999, Munich, Germany, 2 p
inria-00098746v1  Conference papers
Olivier GrisvardBertrand Gaiffe. An Event-Based Dialogue Model and its Implementation in MultiDial2
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, Technical University of Budapest & Scientific Society for Telecommunications, 1999, Budapest, Hungary, 4 p
inria-00098747v1  Conference papers
Gérald Duffing. Analyse et organisation de corpus pour une recherche thematico-visuelle d'images
XVIIème Congrès d'Informatique des Organisations et Systèmes d'Information et de Décision - INFORSId'99, 1999, La Garde, France, 20 p
inria-00098750v1  Reports
Jean-Yves Marion. Light Multiset path ordering and Ptime - Two is better than one
[Intern report] 99-R-106 || marion99b, 1999, 19 p
inria-00098752v1  Conference papers
Laurent VigneronAnita Wasilewska. Rough Sets based Proofs Visualisation
18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS'99, invited session on Granular Computing and Rough Sets, 1999, New York, USA, pp.805-808
inria-00098753v1  Conference papers
Miki HermannLaurent JubanPhokion G. Kolaitis. On the complexity of counting the Hilbert basis of a linear Diophantine system
6th International Conference on Logic for Programming & Automated Reasoning - LPAR'99, Sep 1999, Tbilisi, Georgia, pp.13-32
inria-00098754v1  Conference papers
Dominique ColnetOlivier Zendra. Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler.
29th conference on Technology of Object-Oriented Languages & Systems - TOOLS Europe 29'99, Jun 1999, Nancy, France, pp.341 - 350, ⟨10.1109/TOOLS.1999.779065⟩
inria-00098755v1  Conference papers
Hubert DuboisHélène Kirchner. Rule Based Programming with Constraints & Strategies
Workshop of the ERCIM Working Group on Constraints, 1999, Paphos, Chypre, 13 p
inria-00098756v1  Conference papers
Nicolas RougierHervé Frezza-BuetFrédéric Alexandre. Neuronal mechanisms for sequence learning in behavioral modeling
Sixteenth International Joint Conference on Artificial Intelligence, Workshop : Neural, Symbolic, and Reinforcement Methods for Sequence Learning, 1999, Stockholm, Sweden, 6 p
inria-00098757v1  Conference papers
Nicolas RougierFrédéric Alexandre. Spatial Knowledge Transfer Between Models of Hippocampus and Associative Cortex
International Joint Conference on Neural Networtks, 1999, Washington, D. C., 5 p
inria-00098758v1  Conference papers
Philippe DoschGérald Masini. Reconstruction of the 3D Structure of a Building from the 2D Drawings of its Floors
Fifth International Conference on Document Analysis & Recognition, International Association for Pattern Recognition, 1999, Bangalore, Inde, pp.487-490
inria-00098760v1  Conference papers
Raphael CouturierBertrand CouturierDominique Méry. A compiler for parallel Unity programs using OpenMp
Parallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p
inria-00098761v1  Conference papers
Yann BonifaceFrédéric AlexandreStéphane Vialle. A bridge between two paradigms for parallelism : Neural Networks and general purpose MIMD computers.
International Joint Conference on Neural Networtks - IJCNN'99, 1999, Washington, DC, 6 p
inria-00098762v1  Conference papers
Maritta HeiselJeanine Souquières. Requirements Elicitation for a Light Control System
Seminar No. 99241, chloss Dagstuhl, Requirements Capture, Documentation & Validation, E. Börger (Universita di Pisa, I), B. Hörger (Daimler-Benz, Ulm, D), D. Parnas (McMaster University, CAN), D. Rombach (Universität Kaiserslautern, D), 1999, Dagstuhl, Wadern, Germany, 3 p
inria-00098763v1  Conference papers
Benoît BressonJean Lieber. Classification pour l'aide au traitement du cancer du sein
Septième journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, 7 p
inria-00098764v1  Conference papers
Béatrice FuchsJean LieberAlain MilleAmedeo Napoli. Vers une théorie unifiée de l'adaptation en raisonnement à partir de cas
Journées Ingénierie des Connaissances - IC'99, 1999, Palaiseau, France
inria-00098765v1  Conference papers
Hervé Frezza-BuetFrédéric Alexandre. Modeling prefrontal functions for robot navigation
International Joint Conference on Artificial Neural Networks, 1999, none, 6 p
inria-00098766v1  Conference papers
Hervé Frezza-BuetFrédéric Alexandre. Specialization within cortical models : An application to causality learning
7th European Symposium on Artificial Neural Networks - ESANN'99, Apr 1999, Bruges, Belgium, 6 p
inria-00098767v1  Conference papers
Jean-François MariFlorence Le BerMarc Benoît. Classification de successions culturales par modèles de Markov
Septième journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, pp.177 -- 184
inria-00098768v1  Conference papers
Rim Al HulouAmedeo NapoliEmmanuel Nauer. Objets semi-structurés, classes polythétiques et classification
Septièmes journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, pp.299-306
inria-00098769v1  Conference papers
Manuel MunierKhalid BenaliClaude Godart. A transactional approach for cross-organizational cooperation
Global Telecommunications Conference, 1999. GLOBECOM '99, May 1999, Rio de Janeiro/Brazil, pp.1926 - 1931, ⟨10.1109/GLOCOM.1999.832501⟩
inria-00098770v1  Conference papers
Tawfik Es-SqalliEric DillonJacques Guyard. Using MeDLey to resolve the Vlasov equation
HPCN Europe'99, 1999, Amsterdam, The Netherlands, 10 p
inria-00098773v1  Conference papers
André ElisseeffHélène Paugam-MoisyYann Guermeur. Risque garanti pour les modèles de discrimination multi-classes
Septième journées de la Société Francophone de Classification - SFC'99, Loria, Sep 1999, Nancy, France, pp.111-118
inria-00098774v1  Conference papers
Karl TombreChristian Ah-SoonPhilippe DoschGérald MasiniAntoine Tabbone. Stable and Robust Vectorization: How to Make the Right Choices
Third IAPR International Workshop on Graphics Recognition, Sep 1999, Jaipur, India, pp.3-16
inria-00098776v1  Conference papers
Jean Lieber. Reformulations and Adaptation Decomposition
International Conference on Case-Based Reasoning - ICCBR'99, Lieber, Jean et Melis, Erica et Mille, Alain et Napoli, Amedeo, 1999, Munich, Germany, 7 p
inria-00098779v1  Conference papers
Gérald Duffing. An Alternative Image Retrieval System Based on Visual and Thematic Corpus Organisation
International Conference on Multimedia Computing & Systems - IEEE MULTIMEDIA SYSTEMS '99, 1999, Florence, Italy, 5 p
inria-00098780v1  Conference papers
Patrice LopezChristine Fay-VarnierAzim Roussanaly. Sous-langage d'application et LTAG : le système EGAL
6ème Conférence annuelle sur le Traitement Automatique du Langage Naturel - TALN'99, Jul 1999, Cargèse, Corse, France, 10 p
inria-00098782v1  Conference papers
Jean-Pierre ThomesseMiguel Leon-Chavez. Main Paradigms as a Basis for Current Fieldbus Concepts
Conference Fieldbus Technology - FET'99, 1999, Magdeburg/Germany, 15 p
inria-00098784v1  Conference papers
Olivier ZendraDominique Colnet. Adding external iterators to an existing Eiffel class library
32th conference on Technology of Object-Oriented Languages & Systems - TOOLS Pacific'99, Nov 1999, Melbourne, Australia, pp.188 - 199, ⟨10.1109/TOOLS.1999.809425⟩
inria-00098785v1  Conference papers
Olivier PerrinClaude Godart. The COO operator to support and improve the flexibility of adaptive workflows
Communication Theory Technical Committee Meeting - Globecom'99, Dec 1999, Rio de Janeiro, Brasil, pp.1942-1946, ⟨10.1109/GLOCOM.1999.832505⟩
inria-00098786v1  Conference papers
Nicole LevyFrancisca Losavio. Analyzing and Comparing Architectural Styles
XIX International Conference of the Chilean Computer Society - SCCC'99, 1999, Talca, Chile, pp.87-95
inria-00098787v1  Conference papers
Roland DucournauMarianne HuchardThérèse Libourel RougeAmedeo Napoli. Aspects classificatoires des systèmes à objets
Septièmes Rencontres de la Société Francophone de Classification, F. Le Ber & J.F. Mari & A. Napoli & A. Simon, 1999, Nancy, France, pp.45--52
inria-00098788v1  Conference papers
Amedeo Napoli. Classification problems in object-based representation systems
International Workshop on Description Logics - Dl'99, Patrick lambrix, 1999, Linkoepings Universitet, Sweden, pp.169-171
inria-00098789v1  Conference papers
Jean Lieber. La méthode d'Euler vue comme une application du raisonnement à partir de cas
Actes du 7ème séminaire français de raisonnement à partir de cas, A. Mille et B. Trousse, 1999, Palaiseau, France, 5 p
inria-00098790v1  Reports
Hubert DuboisHélène Kirchner. Modelling Planning Problems with Rules & Strategies
[Intern report] 99-R-029 || dubois99a, 1999, 16 p
inria-00098792v1  Reports
Roman KolpakovGregory Kucherov. On the sum of exponents of maximal repetitions in a word
[Intern report] 99-R-034 || kolpakov99a, 1999, 17 p
inria-00098793v1  Reports
Guy Perrier. From Intuitionistic Proof Nets to Interaction Grammars
[Intern report] 99-R-120 || perrier99b, université Nancy2. 1999, 39 p
inria-00098800v1  Conference papers
Claude GodartOlivier PerrinHala Skaf-Molli. COO: a Workflow Operator to Improve Cooperation Modeling in Virtual Processes
Ninth International Workshop on Research Issues on Data Engineering : Information Technology for Virtual Enterprises - RIDE-VE'99, Mar 1999, Sydney, Australia. pp.130-131, ⟨10.1109/RIDE.1999.758631⟩
inria-00098798v1  Books
Jean-Claude DerniameAli Badara KabaDavid Wastell. Software Process: Principles, Methodology, and Technology
Springer Verlag, 1500, XII-307 p, 1999, Lecture Notes in Computer Science, 3-540-65516-6. ⟨10.1007/3-540-49205-4⟩
inria-00098799v1  Conference papers
Leila JemniJacques JarayAhmed Mahjoub. Specifying historical Consequence and Postponed Effect Properties in Real-Time Systems
IASTED International Conference in Modelling, Identification & Control, 1999, Innsbruck, Austria, 4 p
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-00098797v1  Journal articles
Alain DenisePaul Zimmermann. Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
Theoretical Computer Science, Elsevier, 1999, 218 (2), pp.233-248
inria-00098803v1  Journal articles
Jean-Yves Marion. From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.157-172
inria-00098804v1  Book sections
Laurence Danlos. Discours causal et rôles thématiques
ouvrage coordonné par M. Plénat. Des structures linguistiques à leur interprétation, mélanges en l'honneur d'André Borillo, Rodopi, 12 p, 1999
inria-00098802v1  Journal articles
Hala Skaf-MolliFrançois CharoyClaude Godart. Maintaining Shared Workspaces Consistency during Software Development
International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 1999, Special Issue: Knowledge Discovery from Empirical Software Engineering Data, 9 (5), pp.623-642. ⟨10.1142/S0218194099000334⟩
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-00098806v1  Conference papers
Véronique CortierHarald GanzingerFlorent JacquemardMargus Veanes. Decidable fragments of simultaneous rigid reachability
International Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260
inria-00098810v1  Conference papers
Taegyun KimGyusang ShinNacer Boudjlida. Similarity in the Design and the Implementation of a Multi-Platform CASE Tool
COnstructing Software Engineering Tools - COSET'99, ICSE'99 Workshop, 1999, Los Angeles, CA, pp.137-146
inria-00098813v1  Conference papers
Béatrice FuchsJean LieberAlain MilleAmedeo Napoli. Towards a Unified Theory of Adaptation in Case-Based Reasoning
Third International Conference on Case-Based Reasoning - ICCBR'99, 1999, Seeon Monastery, Germany, pp.104-117
inria-00098809v1  Journal articles
Eric MonfroyChristophe Ringeissen. An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167--187
inria-00098814v1  Conference papers
Jacques Lonchamp. DOTS: A Generic Infrastructure for Decision-oriented Collaborative Task Support
18th International Conference on Conceptual Modeling - ER'99, 1999, Paris, France, pp.233-247
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-00098818v1  Conference papers
Olivier FestorPaul FestorLaurent AndreyNizar Ben Youssef. Integration of WBEM-based Management Agents in the OSI Framework
IFIP IEE Int. Conference on Integrated Network Management, IFIP IEEE, 1999, Boston, USA, 15 p
inria-00098815v1  Conference papers
Laurence Danlos. Event Coreference Between Two Sentences
Proceedings of the Third International Workshop on Computational Semantics - IWCS'99, 1999, Tilburg, Pays-Bas, 16 p
inria-00098821v1  Conference papers
Mudumbai RanganathanLaurent AndreyVirginie GaltierVirginie Schaal. AGNI : encore une plate-forme à agents mobiles !
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99, 1999, Nancy, France, 14 p
inria-00098820v1  Journal articles
Marie-Odile BergerBrigitte Wrobel-DautcourtSylvain PetitjeanGilles Simon. Mixing Synthetic and Video Images of an Outdoor Urban Environment
Machine Vision and Applications, Springer Verlag, 1999, 11 (3), pp.145-159
inria-00098817v1  Journal articles
Philippe de Groote. An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.115-134
inria-00098816v1  Journal articles
Guy Perrier. A PSPACE-complete fragment of second-order linear logic
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.267-289
inria-00098823v1  Conference papers
Laurent AndreyOlivier FestorNizar Ben Youssef. Intégration WBEM/RGT Conception et mise en oeuvre dans les environnements MODERES et COJ
4ème Colloque Francophone sur la Gestion des Réseaux et des Services - GRES'99, 1999, Montréal, Canada, 10 p
inria-00098824v1  Conference papers
Martial MichelAndré SchaffJudith Ellen Devaney. Managing data-types: the CORBA Approach and AutoMap/AutoLink, an MPI Solution
Message Passing Interface Developer's & User's Conference - MPIDC'99, Mar 1999, Atlanta, GA USA, 8 p
inria-00098825v1  Journal articles
Jens Gustedt. Finiteness Theorems for Graphs and Posets Obtained by Compositions
Order, Springer Verlag, 1999, 15 (3), pp.203-220