Skip to Main content Skip to Navigation

inria-00368403v2  Conference papers
François GarillotGeorges GonthierAssia MahboubiLaurence Rideau. Packaging Mathematical Structures
Theorem Proving in Higher Order Logics, 2009, Munich, Germany
inria-00409051v1  Conference papers
Vicente BatistaDavid MillmanSylvain PionJohannes Singler. Parallel Geometric Algorithms for Multi-Core Computers
ACM Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.217-226
inria-00410980v1  Conference papers
Nader SalmanMariette Yvinec. High Resolution Surface Reconstruction from Overlapping Multiple-Views
SoCG 2009 - Twenty-fifth annual symposium on Computational geometry, Jun 2009, Aarhus, Netherlands. pp.104-105, ⟨10.1145/1542362.1542386⟩
inria-00412352v1  Conference papers
Oswin AichholzerFranz AurenhammerOlivier DevillersThomas HacklMonique Teillaud et al.  Lower and upper bounds on the number of empty cylinders and ellipsoids
European Workshop on Computational Geometry, Mar 2009, Bruxelles, Belgium. pp.139-142
inria-00412437v1  Conference papers
Jean-Daniel BoissonnatOlivier DevillersSamuel Hornus. Incremental construction of the Delaunay graph in medium dimension
Proceedings of the 25th Annual Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.208-216, ⟨10.1145/1542362.1542403⟩
inria-00413351v1  Conference papers
Pedro Machado Manhães de CastroOlivier Devillers. Fast Delaunay Triangulation for Converging Point Relocation Sequences
European Workshop on Computational Geometry, 2009, Bruxelles, Belgium
inria-00420228v1  Conference papers
Dobrina BoltchevaMariette YvinecJean-Daniel Boissonnat. Mesh generation from 3D multi-material images
MICCAI 2009 - 12th International Medical Image Computing and Computer-Assisted Intervention, Sep 2009, Londres, United Kingdom. ⟨10.1007/978-3-642-04271-3⟩
inria-00429607v1  Conference papers
Sebastien LoriotFrédéric CazalsMichael LevittJulie Bernauer. A geometric knowledge-based coarse-grained scoring potential for structure prediction evaluation
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Société Française de Bioinformatique, Jul 2009, Nantes, France
inria-00430202v1  Conference papers
Jane TournoisRahul SrinivasanPierre Alliez. Perturbing Slivers in 3D Delaunay Meshes
18th International Meshing Roundtable, Sandia Labs, Oct 2009, Salt Lake City, United States. pp.157-173
inria-00432741v1  Conference papers
Stevens Le BlondFabrice Le FessantErwan Le Merrer. Finding Good Partners in Availability-aware P2P Networks
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'09), Nov 2009, Lyon, France
inria-00432747v1  Conference papers
Stevens Le BlondFabrice Le FessantErwan Le Merrer. Choix de partenaires en p2p suivant des critères de disponibilité
conférence francaise sur les systèmes d'exploitation, Sep 2009, Toulouse, France
inria-00433011v1  Conference papers
Sébastien DesterckeFatiha SaïsRallou Thomopoulos. Fusion évidentielle de références et interrogation flexible
LFA: Logique Floue et ses Applications, Nov 2009, Annecy, France. pp.15-22
hal-00772059v1  Conference papers
Philippe MoireauDominique ChapelleMariette Yvinec. Cardiac motion extraction from images by filtering estimation based on a biomechanical model
FIMH'09 - 5th International Conference Functional Imaging and Modeling of the Heart, Jun 2009, Nice, France. pp.220-228, ⟨10.1007/978-3-642-01932-6_24⟩
hal-00777577v1  Conference papers
Clément HurlinFrançois BobotAlexander Summers. Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation Logic
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09), Jul 2009, Genova, Italy
hal-00781776v1  Conference papers
Florent LafargeRenaud KerivenMathieu Brédif. Combining meshes and geometric primitives for accurate and semantic modeling
British Machine Vision Conference (BMVC), Sep 2009, London, United Kingdom. ⟨10.5244/C.23.38⟩
hal-00781804v1  Conference papers
Clément MalletFlorent LafargeFrédéric BretarUwe SoergelChristian Heipke. LIDAR WAVEFORM MODELING USING A MARKED POINT PROCESS
International Conference on Image Processing (ICIP), Nov 2009, Cairo, Egypt
hal-02954152v1  Conference papers
Manuel CaroliMonique Teillaud. Computing 3D Periodic Triangulations
ESA Symposia - 17th European Symposium on Algorithms, Sep 2009, Copenhagen, Denmark. pp.59-70, ⟨10.1007/978-3-642-04128-0_6⟩