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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-00098861v1  Conference papers
Stefan Haar. Occurrence Net Logics
Workshop Concurrency, Specification & Programming - CS & P'99, Universite de Varsovie, 1999, Varsovie/Pologne, 12 p