Skip to Main content Skip to Navigation
  1. Search


...
inria-00100754v1  Journal articles
Bruno Lévy, Sylvain Petitjean, Nicolas Ray, Jérôme Maillot. Least Squares Conformal Maps for Automatic Texture Atlas Generation
ACM Transactions on Graphics, Association for Computing Machinery, 2002, 21 (3), 10 p. ⟨10.1145/566654.566590⟩
...
inria-00100882v1  Journal articles
Khalid Daoudi, Jacques Lévy Véhel. Signal Representation and Segmentation based on Multifractal Stationarity
Signal Processing, Elsevier, 2002, 82 (12), pp.2015-2024. ⟨10.1016/S0165-1684(02)00198-6⟩
...
hal-01075154v1  Journal articles
Madalina Deaconu, Nicolas Fournier, Etienne Tanré. A pure jump Markov process associated with Smoluchowski's coagulation equation
Annals of Probability, Institute of Mathematical Statistics, 2002, 30, pp.1763 - 1796. ⟨10.1214/aop/1039548371⟩
...
hal-00578830v1  Journal articles
Gerd Stumme, Rafik Taouil, yves Bastide, Nicolas Pasquier, Lotfi Lakhal. Computing iceberg concept lattices with Titanic
Data and Knowledge Engineering, Elsevier, 2002, 42 (2), pp.189-222. ⟨10.1016/S0169-023X(02)00057-5⟩
...
inria-00100887v1  Journal articles
Pankaj K. Agarwal, Thérèse Biedl, Sylvain Lazard, Steve Robbins, Subhash Suri et al.  Curvature-Constrained Shortest Paths in a Convex Polygon
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2002, 31 (6), pp.1814-1851. ⟨10.1137/S0097539700374550⟩
...
inria-00100846v1  Journal articles
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell. Partially complemented representations of digraphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2002, Vol. 5, pp.147-168. ⟨10.46298/dmtcs.303⟩
...
inria-00100981v1  Journal articles
Frédéric Landragin, Susanne Salmon-Alt, Laurent Romary. Ancrage référentiel en situation de dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.99-129
...
hal-00133420v1  Journal articles
Emmanuel Frenod, Frederique Watbled. The Vlasov equation with strong magnetic field and oscillating electric field as a model of isotope resonant separation
Electronic Journal of Differential Equations, Texas State University, Department of Mathematics, 2002, 2000, pp.1--20
inria-00101044v1  Journal articles
yves Bertot, Nicolas Magaud, Paul Zimmermann. A Proof of GMP Square Root
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
inria-00101038v1  Journal articles
Vladimir y. Lunin, Natasha Lunina, A. Podjarny, Alexander Bockmayr, Alexandre Urzhumtsev. Ab initio phasing starting from low resolution
Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
inria-00101035v1  Journal articles
Lhassane Idoumghar, Debreux Philippe. New Modelling Approach for the Frequency Assignment Problem in Broadcasting
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (4), pp.293-298
inria-00101033v1  Journal articles
Jean-François Mari, Florence Le Ber, Marc Benoît. Segmentation temporelle et spatiale de données agricoles
Revue Internationale de Géomatique, Lavoisier, 2002, 12 (4), pp.439-460
inria-00101029v1  Journal articles
Mark G. J. van den Brand, J. Heering, P. Klint, P.A. Olivier. Compiling language definitions: The ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368. ⟨10.1145/567097.567099⟩
inria-00101021v1  Journal articles
Virginie Galtier. Un élément de gestion des réseaux actifs
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2002, 21, pp.899-924
inria-00101009v1  Journal articles
Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336
inria-00101005v1  Journal articles
Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
inria-00101003v1  Journal articles
Françoise Simonot-Lion, Laurent Kaiser, Ricardo Santos Marques. Formal Method for Timed Tests Sequences Generation
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013
inria-00100991v1  Journal articles
Didier Fass. Éléments d'organisation du complexe Individu - Environnement artefactuel : Évaluation d'un système de réalité virtuelle d'aide à l'action
Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, Europia, 2002, 3 (2), pp.75-94
inria-00100989v1  Journal articles
yann Bugeaud, Guillaume Hanrot, Maurice Mignotte. Sur l'équation diophantienne $(x^n - 1)/(x - 1)=y^q$, III
Proceedings of the London Mathematical Society, London Mathematical Society, 2002, 84 (1), pp.59-78
inria-00100990v1  Journal articles
Claire Gardent, Jean-Marie Pierrel. Aspects linguistiques du traitement automatique du dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.7-12
inria-00100982v1  Journal articles
Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
inria-00100978v1  Journal articles
Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson et al.  Ten Consecutive Primes In Arithmetic Progression
Mathematics of Computation, American Mathematical Society, 2002, 71 (239), pp.1323-1328
inria-00100974v1  Journal articles
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
inria-00100969v1  Journal articles
Johanne Cohen, Pierre Fraigniaud, Cyril Gavoille. Recognizing Knödel graphs
Discrete Mathematics, Elsevier, 2002, pp.41-62
inria-00100950v1  Journal articles
Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Theory of regions based synthesis of the maximally permissive and non blocking supervisory control
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.919-930
inria-00100949v1  Journal articles
Mohamed Ali Aloulou, Marc Sevaux, André Rossi, Marie-Laure Espinouse, Aziz Moukrim et al.  Flexibilité et Robustesse en Ordonnancement
Bulletin de la ROADEF, Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2002, 3 p
inria-00100936v1  Journal articles
Mireille Bousquet-Mélou, Gilles Schaeffer. Walks in the slit plane
Probability Theory and Related Fields, Springer Verlag, 2002, 124 (3), pp.305-344
inria-00100937v1  Journal articles
Dominique Poulalhon, Gilles Schaeffer. Factorisations of large cycles in the symmetric group
Discrete Mathematics, Elsevier, 2002, 254 (1-3), pp.433-458
inria-00100911v1  Journal articles
Jean-Pierre Thomesse. Le télémonitorage au domicile des patients à risque: les projets Diatélic et TIISSAD
Techniques Hospitalières : la revue des techniciens de la santé, Association des hautes études hospitalières, 2002, pp.70
inria-00100899v1  Journal articles
Eitan Altman, Bruno Gaujal, Arie Hordijk. Regular Ordering and Applications in Control Policies
Discrete Event Dynamic Systems, Springer Verlag, 2002, 12 (2), pp.187-210
inria-00100901v1  Journal articles
Gülgün Alpan, Mohsen A. Jafari. Synthesis of a closed-loop combined plant and controller model
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2002, 32 (2), pp.163-175. ⟨10.1109/3477.990873⟩
inria-00100900v1  Journal articles
François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real-Time Systems Using the (Max,PLus) Algebra With Applications in Robotics
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380
inria-00100893v1  Journal articles
Bruno Gaujal, Emmanuel Hyon. Optimal routing in several deterministic queues with two service times
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.945-957
inria-00100891v1  Journal articles
Patrick Blackburn, Maarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288
inria-00100879v1  Journal articles
Nicolas Rémy, Arben Shtuka, Bruno Lévy, Jeff Caers. GsTL: a geostatistical template library in C++
Computers & Geosciences, Elsevier, 2002, 28 (8), pp.971-979
inria-00100847v1  Journal articles
Isabelle Guérin Lassous, Jens Gustedt. Portable List Ranking: an Experimental Study
ACM Journal of Experimental Algorithmics, Association for Computing Machinery, 2002, 7 (7), 18 p. ⟨10.1145/944618.944625⟩
inria-00100802v1  Journal articles
Gilles Simon, Marie-Odile Berger. Pose Estimation for Planar Structures
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2002, 22 (6), pp.46-53. ⟨10.1109/MCG.2002.1046628⟩
inria-00100799v1  Journal articles
Marie-Dominique Devignes, André Schaaff, Malika Smaïl. Collecte et intégration de données biologiques hétérogènes sur le web : application dans le domaine de la cartographie du génome humain
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2002, 7 (1-2), pp.45-61
inria-00100777v1  Journal articles
Vladimir y. Lunin, Alexandre Urzhumtsev, Alexander Bockmayr. Direct phasing by binary integer programming
Acta Crystallographica Section A : Foundations and Advances [2014-..], International Union of Crystallography, 2002, 58, pp.283-291. ⟨10.1107/s0108767302004002⟩
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⟩
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-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-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-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-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-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 F. 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⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/