Skip to Main content Skip to Navigation


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-00098943v1  Reports
Isabelle GnaedigHélène KirchnerThomas Genet. Induction for Termination
[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21
inria-00098965v1  Journal articles
Bruno GaujalNicolas Navet. Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Computer Communications, Elsevier, 1999, 22 (17), pp.1562-1573
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-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-00098952v1  Conference papers
Ahmed-Reda BerrahRafael Laboissière. SPECIES: an evolutionary model for the emergence of phonetic structures in an artificial society of speech agents
5th European Conference on Artificial Life - ECAl'99, 1999, Lausanne, Suisse, pp.674-678
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-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-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
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-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-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-00098983v1  Conference papers
Marie-Dominique MorchAndré SchaaffMalika Smaïl. Querying Heterogeneous Databases : a user oriented system for collecting and structuring genome information
Intelligent Systems for Molecular Biology 1999 - ISMB'99, 1999, Heidelberg, Germany, pp.30
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-00110394v1  Book sections
Wilhelm SchaefferAlfonso FugettaClaude GodartJens Jahnke. Architectural Views and Alternatives
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
inria-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
inria-00110389v1  Book sections
Claude GodartHala Skaf-MolliNourredine BelkatirAntonio CarzanigaEstublier Jacky et al.  Cooperation Control in PSEE
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.117-166, 1999, Lecture Notes in Computer Science
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-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-00099018v1  Journal articles
Alexander BockmayrFriedrich EisenbrandMark HartmannAndreas S. Schulz. On the Chvátal Rank of Polytopes in the 0/1 Cube
Discrete Applied Mathematics, Elsevier, 1999, 98 (1-2), pp.21-27
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-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-00098947v1  Reports
Jean-Pierre ThomesseGregory Prince. Event Management and Real Time constraints model
[Intern report] 99-R-272 || thomesse99c, 1999, 12 p
inria-00098932v1  Reports
Frédéric Landragin. Rapports entre oral et écrit
[Interne] 99-R-054 || landragin99a, 1999, 9 p
inria-00098879v1  Journal articles
Jean-Marie Pierrel. Parler n'est pas suffisant", point de vue sur les interfaces orales
Pour la science, Société Pour la Science 1999
inria-00099011v1  Journal articles
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
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-00098912v1  Conference papers
Didier Fass. Les 4P de la Portabilité de Réalité Virtuelle : Théorie et Expérience
Journées ReViCo : Réalité Virtuelle et Cognition, Ecole nationale supérieurer des télécommunications Paris, 1999, Paris, France, pp.57 - 70
inria-00108060v1  Conference papers
Abdel Halim MahdiHenri AmetMarie-Claude Portmann. Genetic algorithms for the 2D cutting problem
Proceedings of the international Conference on Industrial Engineering & Production Management - IEPM99, FUCAM, 1999, Glasgow, GB, pp.540-549
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-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-00098972v1  Conference papers
Samir TataGérôme CanalsClaude Godart. Specifying Interactions in Cooperative Applications
Eleventh International Conference on Software Engineering & Knowledge Engineering, 1999, Kaiserslautern Germany
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-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-00099004v1  Conference papers
Slim OuniYves Laprie. Design of hypercube codebooks for the acoustic-to-articulatory inversion respecting the non-linearities of the articulatory-to-acoustic mapping
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.141-144
inria-00098946v1  Reports
Philippe de GrooteCatherine Pilière. On the semantics of static exception handling
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
inria-00098913v1  Journal articles
Florence Le BerLudmila MangelinckAmedeo Napoli. Représentation de relations et classification de structures spatiales
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13 (2), pp.441-467
inria-00098931v1  Reports
Adel Bouhoula. Simultaneous Checking of Completeness and Ground Confluence
[Intern report] 99-R-051 || bouhoula99b, 1999
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-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00098970v1  Conference papers
Martial MichelJudith Ellen Devaney. Fine Packet Size Tuning with AutoLink
International Workshop on Parallel Computing - IWPC'99, 1999, Fukushima, Japon, 5 p
inria-00108064v1  Journal articles
Bernard GirauArnaud Tisserand. MLP computing and learning on FPGA using on-line arithmetic
International Journal on System Research and Information Science, Inconnu, 1999, 21 p
inria-00098971v1  Directions of work or proceedings
André SchaffFrancis LepageJean-Pierre Thomesse. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP'99
Hermès Science Publications, 494 p, 1999
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-00098919v1  Conference papers
Evelyne Jacquey. Aspect and Nominalisation
Beyond Boundaries, Workshop Time & Space, 1999, Manchester, Grande-Bretagne
inria-00100817v1  Journal articles
Olivier Bournez. Some bounds on the computational power of piecewise constant derivative systems
Theory of Computing Systems, Springer Verlag, 1999, 32 (1), pp.35-67
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-00098927v1  Conference papers
Jean-Paul Haton. Physique et intelligence artificielle
Congrès de la Société Française de Physique, 1999, Clermont-Ferrand, France
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-00099171v1  Conference papers
Alexander BockmayrYannis Dimopoulos. Integer programs and valid inequalities for planning problems
5th European Conference on Planning - ECP'99, 1999, Durham, UK, pp.239-251
inria-00098978v1  Book sections
Hélène Kirchner. Term Rewriting
Astesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports
inria-00098873v1  Conference papers
Jean-Charles Lamirel. Le modèle neuronal multi-topographique MicroNOMAD : application à l'analyse et à la consultation d'une base iconographique
Colloque de bibliométrie appliquée de l'Ile Rousse, SFBA, 1999, Ile Rousse, Corse, France
inria-00098986v1  Journal articles
Miki HermannPhokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136
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-00099000v1  Conference papers
Adel BouhoulaAhmed JebaliMichaël Rusinowitch. Reasoning about Object Behaviours with Rewriting.
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages PLI99) - OOSDS'99, 1999, Paris, France, 6 p
inria-00098964v1  Reports
Francois Xavier Duranceau. Supervision et Contrôle des Réseaux Actifs
[Stage] 99-R-071 || duranceau99a, 1999, 40 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-00098925v1  Conference papers
Jean-Paul Haton. Statistical Models for Robust Speech Recognition
International Symposium on Pattern Recognition, 1999, Bruxelles, Belgique
inria-00098996v1  Conference papers
Hélène Kirchner. ELAN
Journées Francophones de Programmation Logique et programmation par Contraintes - JFPLC'99, F.Fages, 1999, Lyon, France, pp.241--248
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-00108056v1  Journal articles
François BertaultOlivier RamaréPaul Zimmermann. On Sums of Seven Cubes
Mathematics of Computation, American Mathematical Society, 1999, 68 (227), pp.1303-1310
inria-00522005v1  Journal articles
Pierre-Yves DurandJacques ChanliauJean-Pierre ThomesseFrançois CharpilletLaurent Romary et al.  Une nouvelle ère en dialyse péritonéale : la télémédecine intelligente
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (1, S17)
inria-00098969v1  Journal articles
Mohamed AfifyYifan GongJean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
inria-00099003v1  Conference papers
Laurent Juban. Dichotomy Theorem for the Generalized Unique Satisfiability Problem
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.327-337
inria-00098966v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. La programmation à objets. Application au langage Eiffel
Linux Magazine France, Diamond Editions, 1999, pp.63-76
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-00098951v1  Journal articles
Jean LieberAmedeo Napoli. Raisonnement à partir de cas et résolution de problèmes dans une représentation par objets
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13, pp.9-35
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-00098948v1  Reports
Jean-Pierre ThomesseGregory Prince. Timing consideration for electronic device description
[Intern report] 99-R-274 || thomesse99f, 1999, 13 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-00098857v1  Book sections
Isabelle ChrismentOlivier Festor. MIB (Management Information Base) pour IPv6
Gisèle Cizault. IPv6: Théorie et pratique, O'Reilly, 325 p, 1999
inria-00098984v1  Conference papers
David LangloisKamel Smaïli. A New Based Distance Language Model for a Dictation Machine: application to MAUD
6th European Conference on Speech Communication & Technology - EUROSPEECH'99, 1999, Budapest, Hungary, pp.1779-1782
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