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
  1. Search


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 Denise, Paul 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-Molli, François Charoy, Claude 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-00098809v1  Journal articles
Eric Monfroy, Christophe 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-00098820v1  Journal articles
Marie-Odile Berger, Brigitte Wrobel-Dautcourt, Sylvain Petitjean, Gilles 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-00098825v1  Journal articles
Jens Gustedt. Finiteness Theorems for Graphs and Posets Obtained by Compositions
Order, Springer Verlag, 1999, 15 (3), pp.203-220
inria-00098841v1  Journal articles
Michel Cosnard, Emmanuel Jeannot. Compact DAG Representation and its Dynamic Scheduling
Journal of Parallel and Distributed Computing, Elsevier, 1999, 58 (3), pp.487-514
inria-00098846v1  Journal articles
Y.-F.-S. Pétermann, Jean-Luc Rémy, I. 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-00098848v1  Journal articles
Hazel Everett, Ferran Hurtado, Marc Noy. Stabbing information of a simple polygon
Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
inria-00098851v1  Journal articles
David Plaisted, Gregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
inria-00098854v1  Journal articles
Roman Kolpakov, Gregory Kucherov, Yuri Tarannikov. On repetition-free binary words of minimal density
Theoretical Computer Science, Elsevier, 1999, 218 (1), pp.161--175
inria-00098856v1  Journal articles
Claude Kirchner, Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud. A Methodological View of Constraint Solving
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
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-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00098898v1  Journal articles
Nicolas Navet, Ye-Qiong Song. Reliability Improvement of the Dual-Priority Protocol under Unreliable Transmission
Control Engineering Practice, Elsevier, 1999, 7 (8), pp.975-981
inria-00098908v1  Journal articles
Laurent Wendling, A. 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 Domenjoud, Claude Kirchner, Jianyang Zhou. Generating feasible schedules for a pick-up and delivery problem
Electronic Notes in Discrete Mathematics, Elsevier, 1999, 1
inria-00098909v1  Journal articles
Pascal Matsakis, Laurent 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-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-00098965v1  Journal articles
Bruno Gaujal, Nicolas Navet. Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Computer Communications, Elsevier, 1999, 22 (17), pp.1562-1573
inria-00098969v1  Journal articles
Mohamed Afify, Yifan Gong, Jean-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-00098976v1  Journal articles
Amos Abayomi David, David Bueno. User modeling and cooperative information retrieval in information retrieval systems
Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
inria-00098986v1  Journal articles
Miki Hermann, Phokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136
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-00099018v1  Journal articles
Alexander Bockmayr, Friedrich Eisenbrand, Mark Hartmann, Andreas 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-00100709v1  Journal articles
Serge Grigorieff, Jean-Yves Marion. Kolmogorov complexity and non-determinism
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
inria-00100714v1  Journal articles
Adel Bouhoula, Michaël Rusinowitch. Observational proofs by rewriting
Theoretical Computer Science, Elsevier, 2002, 275 (1-2), pp.675-698. ⟨10.1016/S0304-3975(01)00333-4⟩
inria-00100711v1  Journal articles
Richard Blute, François Lamarche, Paul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
inria-00100712v1  Journal articles
Philippe de Groote, François Lamarche. Classical Non Associative Lambek Calculus
Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
inria-00100721v1  Journal articles
Yann Guermeur. Combining Discriminant Models with new Multi-Class SVMs
Pattern Analysis and Applications, Springer Verlag, 2002, 5 (2), pp.168-179. ⟨10.1007/s100440200015⟩
inria-00100725v1  Journal articles
Olivier Bournez, Michael Branicky. On the mortality problem for matrices of low dimensions
Theory of Computing Systems, Springer Verlag, 2002, 35 (4), pp.433-448. ⟨10.1007/s00224-002-1010-5⟩
inria-00100726v1  Journal articles
Paolo Castelpietra, Ye-Qiong Song, Françoise Simonot-Lion, Mondher Attia. Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1251-1264. ⟨10.1109/TIE.2002.804972⟩
inria-00100743v1  Journal articles
Miguel Alabau, Lhassane Idoumghar, René Schott. New Hybrid Genetic Algorithms for the Frequency Assignment Problem
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (1), pp.27-34. ⟨10.1109/11.992851⟩
inria-00100759v1  Journal articles
Florence Le Ber, Amedeo Napoli. The design of an object-based system for representing and classifying spatial structures and relations
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2002, 8 (8), pp.751-773. ⟨10.3217/jucs-008-08-0751⟩
inria-00100762v1  Journal articles
Sylvain Petitjean. A Survey of Methods for Recovering Quadrics in Triangle Meshes
ACM Computing Surveys, Association for Computing Machinery, 2002, 34 (2), pp.211-262. ⟨10.1145/508352.508354⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/