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-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-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-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-00108051v1  Journal articles
Yuri BiluGuillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
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
...
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
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-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-00107694v1  Journal articles
Gérôme CanalsPascal MolliClaude Godart. Support for End User Participation using Replicated Versions and Group Communication
ACM SIGGROUP Bulletin, Association for Computing Machinery (ACM), 1999, 20 (1), pp.5-9. ⟨10.1145/327556.327598⟩
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-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
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-00108059v1  Journal articles
François CunyLaurent AlonsoChristophe WinklerNicolas Holzschuch. Radiosité à base d'ondelettes sur des mailles quelconques
Revue Internationale de CFAO et d'informatique graphique, Hermès, 1999, 14 (1), pp.41-56
inria-00098976v1  Journal articles
Amos Abayomi DavidDavid Bueno. User modeling and cooperative information retrieval in information retrieval systems
Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
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-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-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-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-00522004v1  Journal articles
Pierre-Yves DurandJacques ChanliauAgnès MariotMichèle KesslerJean-Pierre Thomesse et al.  Télémédecine et Dialyse
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (3), pp.12-18
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-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-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-00098825v1  Journal articles
Jens Gustedt. Finiteness Theorems for Graphs and Posets Obtained by Compositions
Order, Springer Verlag, 1999, 15 (3), pp.203-220
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-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-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-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-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-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-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-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-00098905v1  Journal articles
Manuel MunierKhalid BenaliClaude Godart. DisCOO, a really distributed system for cooperation
Networking and Information Systems Journal, Editions Hermès, 1999, 2 (5-6), pp.605-637
inria-00098968v1  Journal articles
Hala Naja. Multiview databases for building modelling
Automation in Construction, Elsevier, 1999, 8 (5), pp.567-579. ⟨10.1016/S0926-5805(98)00116-2⟩
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-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-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-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-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-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-00098851v1  Journal articles
David PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
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-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-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
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