13 résultats  enregistrer la recherche


inria-00100746v1  Communication dans un congrès
Juergen RillingAhmed SeffahChristophe BouthierThe CONCEPT Project Applying Source Code Analysis to Reduce Information Complexity of Static and Dynamic Visualization Techniques
1st International Workshop on Visualizing Software for Understanding and Analysis - VISSOFT'2002, 2002, Paris, France, IEEE, pp.90-99, 2002, 1st International Workshop on Visualizing Software for Understanding and Analysis. <10.1109/VISSOF.2002.1019798>
...
inria-00098832v1  Communication dans un congrès
Therese C. BiedlErik D. DemaineSylvain LazardSteven M. RobbinsMichael A. SossConvexifying Monotone Polygons
Alok Aggarwal and C. Pandu Rangan. 10th Annual International Symposium on Algorithms & Computation - ISAAC'99, Dec 1999, Chennai, India. Springer-Verlag, LNCS 1741, 10 p, 1999, Lecture Notes in Computer Science; Algorithms and Computation 10th International Symposium, ISAAC'99 Chennai, India, December 16–18, 1999 Proceedings. <http://www.springerlink.com/content/550xbyrwva7rew49/fulltext.pdf>. <10.1007/3-540-46632-0_42>
...
inria-00098726v1  Communication dans un congrès
Nacer BoudjlidaTaegyun KimAn Experiment in Refactoring an Object Oriented CASE Tool
Maghrebian Conference on Software Engineering & Artificial Intelligence - MCSEAI'02, 1998, Annaba, Algérie, pp.215-230, 1998
inria-00099825v1  Communication dans un congrès
Simon GibsonAlan ChalmersGilles SimonJavier-Flavio Vigueras-GomezMarie-Odile Berger et al.  Photorealistic Augmented Reality
Second IEEE and ACM International Symposium on Mixed and Augmented Reality - ISMAR'03, Oct 2003, Tokyo, Japon, 3 p, 2003
inria-00099381v1  Communication dans un congrès
Arnaud DurandMiki HermannPhokion G. KolaitisSubtractive Reductions and Complete Problems for Counting Complexity Classes
M. Nielsen et B. Rovan. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, Springer-Verlag, 1893, pp.323-332, 2000, Lecture Notes in Computer Science
...
hal-00306622v1  Communication dans un congrès
Pascal FerraroChristophe GodinPrzemyslaw PrusinkiewiczLars MundermannUne méthode structurelle pour évaluer les propriétés d autosimilarité des plantes
Self Similarity And Applications Workshop, 2002, Clermont-Ferrand, France. 2002
...
hal-00307405v1  Communication dans un congrès
Pascal FerraroChristophe GodinPrzemylaw PrusinkiewiczA structural method for assessing self-similarity in plants
Fourth International Workshop on Functional-Structural Trees Models, Jun 2004, Montpellier, France. pp.56--61, 2004
inria-00099222v1  Article dans une revue
Miki HermannPhokion G. KolaitisUnification Algorithms Cannot Be Combined in Polynomial Time
Information and Computation, Elsevier, 2000, 162 (1-2), pp.24-42
inria-00100889v1  Article dans une revue
Thérèse BiedlErik DemaineMartin DemaineSylvain LazardAnna Lubiw et al.  A Note on Reconfiguring Tree Linkages: Trees can Lock
Discrete Applied Mathematics, Elsevier, 2002, 117 (1-3), pp.293-297. <10.1016/S0166-218X(01)00229-3>
inria-00101008v1  Article dans une revue
Egidio AstesianoMichel BidoitHélène KirchnerBernd Krieg-BrücknerPeter D. Mosses et al.  CASL: The Common Algebraic Specification Language
Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196
inria-00100710v1  Article dans une revue
Arnaud DurandMiki HermannLaurent JubanOn the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
Theoretical Computer Science, Elsevier, 2002, 270 (1-2), pp.625-642