1. Recherche
52 résultats  enregistrer la recherche


  • 1
  • 2
hal-00923609v1  Article dans une revue
Omri Azencot, Mirela Ben Chen, Leonidas J. Guibas, Maks Ovsjanikov, Raif Rustamov et al.  Map-Based Exploration of Intrinsic Shape Differences and Variability
ACM Transactions on Graphics (TOG), ACM New York, NY, USA, 2013, ACM Transactions on Graphics (TOG) - SIGGRAPH 2013 Conference Proceedings, 32 (4), pp.article 72
...
inria-00524938v1  Communication dans un congrès
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini. A New Elimination Rule for the Calculus of Inductive Constructions
Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3>
...
inria-00527531v1  Article dans une revue
Gilles Dowek, Gérard Berry. L'informatique oblige à repenser la classification des sciences : questions à Gilles Dowek. On a longtemps confondu l'informatique avec ses usages, questions à Gérard Berry ; propos recueillis par Dominique Chouchan
Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Neandertal : pourquoi a-t-il disparu ?
...
inria-00429607v1  Communication dans un congrès
Sebastien Loriot, Frédéric Cazals, Michael Levitt, Julie Bernauer. A geometric knowledge-based coarse-grained scoring potential for structure prediction evaluation
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Jul 2009, Nantes, France. 2009
hal-00772475v1  Communication dans un congrès
Frédéric Chazal, Leonidas J. Guibas, Primoz Skraba, Maks Ovsjanikov. Persistence-based Segmentation of Deformable Shapes
CVPR Workshop on Non-Rigid Shape Analysis and Deformable Image Alignment, Jun 2010, San Francisco, United States. 2010
...
hal-00780349v1  Communication dans un congrès
Beniamino Accattoli, Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan. 2012
...
inria-00614041v1  Communication dans un congrès
Mickaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry et al.  Verifying SAT and SMT in Coq for a fully automated decision procedure
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland. 2011
...
hal-01301937v2  Communication dans un congrès
Thomas Bonis, Maks Ovsjanikov, Steve Oudot, Frédéric Chazal. Persistence-based Pooling for Shape Pose Recognition
6th International Workshop on Computational Topology in Image Context (CTIC 2016), Jun 2016, Marseille, France. 9667, CTIC 2016 Proceedings of the 6th International Workshop on Computational Topology in Image Context
...
hal-01203716v1  Communication dans un congrès
Mathieu Carriere, Steve Oudot, Maks Ovsjanikov. Stable Topological Signatures for Points on 3D Shapes
Eurographics Symposium on Geometry Processing 2015, Jul 2015, Graz, Austria. 34 (5), Proceedings of the Eurographics Symposium on Geometry Processing 2015
...
inria-00432538v1  Article dans une revue
Luigi Liquori, Arnaud Spiwack. FeatherTrait: A Modest Extension of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. <10.1145/1330017.1330022>
hal-01249364v1  Article dans une revue
Omri Azencot, Maks Ovsjanikov, Frédéric Chazal, M Ben-Chen. Discrete Derivatives of Vector Fields on Surfaces – An Operator Approach
ACM Transactions on Graphics, Association for Computing Machinery, 2015, 34 (3), <10.1145/2723158>
...
inria-00368403v2  Communication dans un congrès
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau. Packaging Mathematical Structures
Tobias Nipkow and Christian Urban. Theorem Proving in Higher Order Logics, 2009, Munich, Germany. Springer, 5674, 2009, Lecture Notes in Computer Science
...
hal-01066076v1  Communication dans un congrès
Johannes Starlinger, Sarah Cohen-Boulakia, Sanjeev Khanna, Susan Davidson, Ulf Leser. Layer Decomposition: An Effective Structure-based Approach for Scientific Workflow Similarity
IEEE e-Science conference, Oct 2014, Guarujá, Brazil. 2014
...
inria-00502496v2  Communication dans un congrès
Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry. Extending Coq with Imperative Features and its Application to SAT Verification
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. 2010
...
hal-01159297v2  Pré-publication, Document de travail
Mathieu Carriere, Steve Oudot, Maks Ovsjanikov. Local Signatures using Persistence Diagrams
2015
...
hal-00545256v1  Chapitre d'ouvrage
Maurizio Gabbrielli, Catuscia Palamidessi, Frank Valencia. Concurrent and Reactive Constraint Programming
Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp.231-253, 2010, <10.1007/978-3-642-14309-0_11>
hal-01073075v1  Communication dans un congrès
Chunyuan Li, Maks Ovsjanikov, Frederic Chazal. Persistence-based Structural Recognition
IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2014, Jun 2014, Colombus, Ohio, United States. pp.1995-2002, 2014
...
hal-00639130v1  Communication dans un congrès
Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Thery et al.  A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Jouannaud, Jean-Pierre and Shao, Zhong. CPP - Certified Programs and Proofs - First International Conference - 2011, Dec 2011, Kenting, Taiwan. Springer, 7086, pp.135-150, 2011, Lecture notes in computer science - LNCS; Certified Programs and Proofs. <10.1007/978-3-642-25379-9_12>
...
tel-00336188v1  Thèse
Luca Castelli Aleardi. Représentations compactes de structures de données géométriques
Informatique [cs]. Ecole Polytechnique X, 2006. Français
...
inria-00090631v1  Communication dans un congrès
Olivier Devillers, Abdelkrim K. Oudjida, Luca Castelli Aleardi. 2D Triangulation Representation Using Stable Catalogs
Proc. 18th Canadian Conference on Computational Geometry, Aug 2006, Kingston, Canada, 2006
...
hal-00678615v1  Communication dans un congrès
Luca Castelli Aleardi, Olivier Devillers. Explicit array-based compact data structures for triangulations
Takao Asano and Shin-ichi Nakano and Yoshio Okamoto and Osamu Watanabe. 22nd International Symposium on Algorithms and Computation, 2011, Yokohama, Japan. Springer-Verlag, 7074, pp.312--322, 2011, LNCS
...
inria-00070574v1  Rapport
Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Compact representation of triangulations
[Research Report] RR-5433, INRIA. 2006, pp.20
...
hal-01018627v1  Documents associés à des manifestations scientifiques -- Hal-inria+
Luca Castelli Aleardi, Olivier Devillers, Eric Fusy. Crossing-free straight-line drawing of graphs on the flat torus
Workshop on Geometric Structures with Symmetry and Periodicity, 2014, Kyoto, Japan
...
inria-00098669v1  Communication dans un congrès
Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Optimal Succinct Representations of Planar Maps
Proc. 22th Annu. Symposium on Computational Geometry, Jun 2006, Sedona, Arizona, United States. ACM, 2006
...
hal-00793592v1  Communication dans un congrès
Luca Castelli Aleardi, Olivier Devillers, Jarek Rossignac. ESQ: Editable SQuad Representation for Triangle Meshes
25th SIBGRAPI Conference on Graphics, Patterns and Images, SIBGRAPI 2012, Aug 2012, Ouro Preto, Brazil. IEEE Computer Society, pp.110-117, 2012, Proc. of 25th SIBGRAPI Conference on Graphics, Patterns and Images, SIBGRAPI 2012. <http://www.computer.org/csdl/proceedings/sibgrapi/2012/4829/00/4829a110-abs.html>. <10.1109/SIBGRAPI.2012.24>
...
hal-00793636v1  Communication dans un congrès
Luca Castelli Aleardi, Olivier Devillers, Eric Fusy. Canonical Ordering for Triangulations on the Cylinder, with Applications to Periodic Straight-line Drawings
Graph Drawing - 20th International Symposium, GD 2012, Sep 2012, Redmond, WA, United States. Springer, 7704, pp.376-387, 2012, Lecture Notes in Computer Science; Graph Drawing. <10.1007/978-3-642-36763-2_34>
...
inria-00090707v1  Communication dans un congrès
Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Succinct representation of triangulations with a boundary
9th Workshop on Algorithms and Data Structures, Aug 2005, Waterloo, Canada, Springer, 3608, pp.134--135, 2005, Lecture Notes in Computer Science
...
hal-00731322v1  Rapport
Luca Castelli Aleardi, Olivier Devillers, Jarek Rossignac. ESQ: Editable SQuad representation for triangle meshes
[Research Report] RR-8066, INRIA. 2012
...
inria-00070221v1  Rapport
Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Optimal succinct representation of planar maps
[Research Report] RR-5803, INRIA. 2006, pp.26
  • 1
  • 2

Contact


archive-ouverte@inria.fr