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

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-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-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-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-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-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-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
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-00098829v1  Conference papers
Amine BermakDominique Martinez. Digital VLSI implementation of a multi-precision neural network classifier
6th International Conference on Neural Information Processing - ICONIP'99, Nov 1999, Perth, Australia, 6 p
inria-00098827v1  Conference papers
Christophe RingeissenEric Monfroy. Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
ERCIM/COMPULOG Workshop on Constraints, Oct 1999, Paphos, Cyprus, 17 p
inria-00098830v1  Conference papers
Félix AlbuDominique Martinez. The Application of Support Vector Machines with Gaussian Kernels for Overcoming Co-channel Interference
IEEE Workshop on Neural Networks for Signal Processing IX, Aug 1999, Madison, Wisconsin, U.S.A, pp.49-57
inria-00098833v1  Conference papers
Marie-Odile BergerGoetz WinterfeldtJean-Paul Lethor. Contour Tracking in Echocardiographic Sequences without Learning Stage : Application To the 3D Reconstruction of The Beating Left Ventricule
International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99, 1999, Cambridge, England, pp.508--515
inria-00098835v1  Conference papers
François BertaultPaul Zimmermann. Unranking of unlabelled decomposable structures
Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99, 1999, Montpellier/France, pp.12
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-00098838v1  Conference papers
Afef KacemAbdel BelaidMohamed Ben Ahmed. EXTRAFOR : automatic EXTRAction of mathematical FORmulas
International Conference on Document Analysis & Recognition - ICDAR'99, 1999, Bangalore, India. pp.527-530, ⟨10.1109/ICDAR.1999.791841⟩
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-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-00098843v1  Conference papers
Pierre LarocheFrançois CharpilletRené Schott. Mobile Robotics Planning using Abstract Markov Decision Processes
International Conference on Tools with Artificial Intelligence - ICTAI'99, IEEE Computer Society, 1999, Chicago, Illinois, pp.299-306
inria-00098842v1  Conference papers
Michel CosnardEmmanuel JeannotTao Yang. SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors
International Conférence on Parallel Processing - ICPP'99, 1999, Aizu-Wakamatsu, Japan, 25 p
inria-00098844v1  Conference papers
Olivier ZendraDominique Colnet. Towards safer aliasing with the Eiffel language
Intercontinental Workshop on Aliasing in Object-Oriented Systems IWAOOS'99 - ECOOP'99 workshop reader, 1999, Lisbonne, Portugal, pp.153
inria-00098846v1  Journal articles
Y.-F.-S. PétermannJean-Luc RémyI. Vardi. On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 1999, 11, pp.211-230
inria-00098847v1  Conference papers
Gilles DowekThérèse HardinClaude Kirchner. HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic
Tenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
inria-00098848v1  Journal articles
Hazel EverettFerran HurtadoMarc Noy. Stabbing information of a simple polygon
Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
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-00098851v1  Journal articles
David PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
inria-00098852v1  Conference papers
Roman KolpakovGregory Kucherov. On Maximal Repetitions in Words
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi Romania, pp.374 -- 385
inria-00098854v1  Journal articles
Roman KolpakovGregory KucherovYuri Tarannikov. On repetition-free binary words of minimal density
Theoretical Computer Science, Elsevier, 1999, 218 (1), pp.161--175
inria-00098853v1  Conference papers
Roman KolpakovGregory Kucherov. Finding Maximal Repetitions in a Word in Linear Time
1999 Symposium on Foundations of Computer Science - FOCS'99, IEEE Computer Society, 1999, New-York, USA, pp.596--604
inria-00098856v1  Journal articles
Claude KirchnerHubert ComonMehmet DincbasJean-Pierre Jouannaud. A Methodological View of Constraint Solving
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
inria-00098859v1  Conference papers
Ramon Garcia GomezMarie-Christine HatonJean-Paul HatonChristophe AntoinePierre Alinat. Speech training for deaf and hearing-impaired people
European Speech Communication Association, 1999, Budapest, Hongrie, 5 p
inria-00098861v1  Conference papers
Stefan Haar. Occurrence Net Logics
Workshop Concurrency, Specification & Programming - CS & P'99, Universite de Varsovie, 1999, Varsovie/Pologne, 12 p
inria-00098862v1  Directions of work or proceedings
Paliath NarendranMichaël Rusinowitch. Rewriting Techniques & Applications
P. Narendran & M. Rusinowitch. Springer-Verlag, 396 p, 1999, Lecture Notes in Computer Science
inria-00098864v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Real-Time Problem-Solving with Contract Algorithms
16th International Joint Conference on Artificial Intelligence, 1999, Stockholm, Sweden, pp.1008-1013
inria-00098865v1  Conference papers
Antony VignierBenoit SonntagMarie-Claude Portmann. A decomposition Method based on priority rules for a parallel-machine scheduling problem
Proceedings of the International conference on Industrial Engineering & Production Management - IEPM'99, FUCAM, 1999, Glasgow, Scotland, pp.163-172
inria-00098869v1  Conference papers
Abdelmajid BouazzaHala Skaf-MolliPascal Molli. Coordinating Virtual Teams by Measuring Group Divergence
Workshop on Groupware related Task Design at GROUP'99 Conference, 1999, Phoenix, Arizona, USA, 4 p
inria-00098871v1  Conference papers
Lamia DjeridMarie-Claude Portmann. How to keep good schemata using cross-over operators for permutation problems
International Conference IFORS`99, IFORS, 1999, Beijing, China
inria-00098870v1  Conference papers
Abdel Halim MahdiHenri AmetMarie-Claude Portmann. Genetic Algorithms for Solving a Physical Facility Layout Problem
International Conference IFORS`99, IFORS, 1999, Beijing, China
inria-00098872v1  Journal articles
Fabrice Rouillier. Solving Zero-Dimensional Systems through the Rational Univariate Representation
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 1999, 9 (5), pp.433-461. ⟨10.1007/s002000050114⟩
inria-00098875v1  Conference papers
Florent JacquemardMichaël RusinowitchLaurent Vigneron. Compiling and narrowing cryptographic protocols
Workshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p
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-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00098884v1  Conference papers
Pierre TellierIsabelle Debled-Rennesson. 3D Discrete Normal Vectors
International Conference on Discrete Geometry for Computer Imagery - DGCI'99, 1999, Marne-la-Vallée, France, pp.447-458
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-00098892v1  Conference papers
Johanne CohenPierre FraigniaudCyril Gavoille. Recognizing Bipartite Incident-Graphs of Circulant Digraphs
International Workshop on Graph Theoretic Concepts in Computer Science - WG'99, 1999, Ascona, Switzerland, pp.215-227
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
inria-00098899v1  Conference papers
Amos Abayomi DavidDavid Bueno. Personalisation of information based on the concept of relevance using a user model
Congreso ISKO-España EOCONSID'99, ISKO, 1999, Granada, Spain. pp.419-426
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-00098902v1  Conference papers
Jean-Luc Husson. Evaluation of a Segmentation System based on Multi-Level Lattices
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, 4 p
inria-00098903v1  Conference papers
Jean-Luc HussonPatrice Lopez. Integrating Speech Recognition and Natural Language LTAG Techniques with Weighted Synchonized Automata
International Workshop Speech & Computer - SPECOM'99, 1999, Moscow, Russia, 6 p
inria-00098904v1  Conference papers
Gilles Schaeffer. Random Sampling of Large Planar Maps and Convex Polyhedra
Proceedings of the 31th annual ACM Symposium on the Theory of Computing - STOC'99, 1999, Atlanta, Georgia, pp.760-769
inria-00098908v1  Journal articles
Laurent WendlingA. Paries. Directed Acyclic Graph Compression of Labelled Trees
Machine Graphics & Vision, Instytut podstaw informatyki (Pologne), 1999, 8 (2), pp.169-174
inria-00098910v1  Journal articles
Eric DomenjoudClaude KirchnerJianyang Zhou. Generating feasible schedules for a pick-up and delivery problem
Electronic Notes in Discrete Mathematics, Elsevier, 1999, 1
inria-00098909v1  Journal articles
Pascal MatsakisLaurent Wendling. A New Way to Represent the Relative between Areal Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1999, 21 (7), pp.634-643
inria-00098911v1  Conference papers
François Lamarche. Spaces for linguistic representations and the semantics of linear Logic
Dagstuhl Seminar 22.08.1999 - 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none
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-00098914v1  Conference papers
Luc Rolland. The Manta and the Kanuk: Novel 4-DOF Parallel Mechanisms for Industrial Handling.
International Mechanical Engineering Congress & Exposition, American Society of Mechanical Engineers, 1999, Nashville, USA, pp.831-844
inria-00098917v1  Conference papers
Jean-Paul HatonChristophe CerisaraDominique Fohr. Improvement of Multi-Band Speech Recognition
International Workshop Speech & Computer - SPECOM'99, Oct 1999, Moscow, Russia
inria-00098921v1  Conference papers
Claude Kirchner. Deduction and theorem proving modulo
School of logic & computation, May 1999, Edinburgh, United Kingdom
inria-00098922v1  Conference papers
Claude Kirchner. The rewriting calculus as a semantics to strategy application. Application to ELAN.
Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
inria-00098920v1  Conference papers
Mudumbai RanganathanVirginie SchaalVirginie GaltierDouglas Montgomery. Mobile Streams: A Middleware for Reconfigurable Distributed Scripting
Agent Systems & Applications, Mobile Agents - ASAMA'99, Oct 1999, Palm Springs, Californie, USA, pp.162-175
inria-00098919v1  Conference papers
Evelyne Jacquey. Aspect and Nominalisation
Beyond Boundaries, Workshop Time & Space, 1999, Manchester, Grande-Bretagne
inria-00098924v1  Conference papers
Abdel Belaïd. The retroconversion in Digital Libraries
Conférence internationale sur les Sciences de l'information - CISI'1999, 1999, Tunis, Tunisia
inria-00098925v1  Conference papers
Jean-Paul Haton. Statistical Models for Robust Speech Recognition
International Symposium on Pattern Recognition, 1999, Bruxelles, Belgique
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-00098929v1  Conference papers
Laurent Romary. Representation and normalization of multilingual dictionaries
Workshop from Information to Knowledge Using Astronomical Databases, 1999, Strasbourg, France
inria-00098931v1  Reports
Adel Bouhoula. Simultaneous Checking of Completeness and Ground Confluence
[Intern report] 99-R-051 || bouhoula99b, 1999
inria-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
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-00098943v1  Reports
Isabelle GnaedigHélène KirchnerThomas Genet. Induction for Termination
[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21