Skip to Main content Skip to Navigation


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-00000918v1  Conference papers
Damien EveillardYann Guermeur. Traitement statistique des résultats SELEX
Journées Ouvertes en Biologie Informatiques et Mathématiques - JOBIM 2002, Jacques Nicolas & Claude Thermes, Jun 2002, Saint Malo - France, pp.277--283
inria-00000262v1  Conference papers
Gérôme CanalsLaurence NigayPhilippe Pucheral. Mobilité : accès aux données et interaction homme-machine
Assises Nationales du GdR I3, Loria, Dec 2002, Nancy, France, pp.119-140
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-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-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-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-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-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
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-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-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-00098845v1  Reports
Hend Koubaa. Les communications multipoints dans les réseaux actifs
[Stage] 99-R-305 || koubaa99a, 1999, 44 p
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