Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

71 résultats

Program Specialization

Renaud Marlet
Ouvrages hal-00828367v1
Image document

Adaptive Structure from Motion with a contrario model estimation

Pierre Moulon , Pascal Monasse , Renaud Marlet
ACCV 2012, Nov 2012, Daejeon, South Korea. pp.257-270, ⟨10.1007/978-3-642-37447-0_20⟩
Communication dans un congrès hal-00769266v1
Image document

Patchwork Stereo: Scalable, Structure-Aware 3D Reconstruction in Man-Made Environments

Amine Bourki , Martin de La Gorce , Renaud Marlet , Nikos Komodakis
2017 IEEE Winter Conference on Applications of Computer Vision (WACV), Mar 2017, Santa Rosa, United States. ⟨10.1109/WACV.2017.39⟩
Communication dans un congrès hal-01743262v1
Image document

Semantizing Complex 3D Scenes using Constrained Attribute Grammars

Alexandre Boulch , Simon Houllier , Renaud Marlet , Olivier Tournaire
Computer Graphics Forum, 2013, 32 (5), pp.33-42. ⟨10.1111/cgf.12170⟩
Article dans une revue hal-00864707v1
Image document

Fast and Robust Normal Estimation for Point Clouds with Sharp Features

Alexandre Boulch , Renaud Marlet
Computer Graphics Forum, 2012, 31 (5), pp.1765-1774. ⟨10.1111/j.1467-8659.2012.03181.x⟩
Article dans une revue hal-00732426v1
Image document

Mapping Software Architectures to Efficient Implementations via Partial Evaluation

Renaud Marlet , Scott Thibault , Charles Consel
[Research Report] RR-3217, INRIA. 1997
Rapport inria-00073472v1
Image document

The Devil Language

Laurent Réveillère , Fabrice Mérillon , Charles Consel , Renaud Marlet , Gilles Muller
[Research Report] RT-0244, INRIA. 2000, pp.29
Rapport inria-00069929v1

Localizing Objects with Self-Supervised Transformers and no Labels

Oriane Siméoni , Gilles Puy , Huy V. Vo , Simon Roburin , Spyros Gidaris , et al.
BMVC 2021 - 32nd British Machine Vision Conference, Nov 2021, Virtual, United Kingdom
Communication dans un congrès hal-03541602v1

Surface Reconstruction from 3D Line Segments

Pierre-Alain Langlois , Alexandre Boulch , Renaud Marlet
2019 International Conference on 3D Vision (3DV), Sep 2019, Québec City, Canada. pp.553-563, ⟨10.1109/3DV.2019.00067⟩
Communication dans un congrès hal-02344362v1
Image document

OpenMVG: Open Multiple View Geometry

Pierre Moulon , Pascal Monasse , Romuald Perrot , Renaud Marlet
1st Workshop on Reproducible Research in Pattern Recognition, Dec 2016, Cancun, Mexico. pp.60-74
Communication dans un congrès hal-01497080v1

Efficient Implementations of Software Architectures via Partial Evaluation

Renaud Marlet , S. Thibault , Charles Consel
Automated Software Engineering, 1999, 6 (4), pp.411--440
Article dans une revue inria-00475691v1
Image document

Devil : An IDL for Hardware Programming

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Renaud Marlet , Gilles Muller
[Research Report] RR-3977, INRIA. 2000
Rapport inria-00072670v1
Image document

Experiments in Program Compilation by Interpreter Specialization

Scott Thibault , Laurent Bercot , Charles Consel , Renaud Marlet , Gilles Muller , et al.
[Research Report] RR-3588, INRIA. 1998
Rapport inria-00073092v1
Image document

Match Selection and Refinement for Highly Accurate Two-View Structure from Motion

Zhe Liu , Pascal Monasse , Renaud Marlet
ECCV 2014 ( European Conference on Computer Vision 2014), Sep 2014, Zurich, Switzerland. pp.818-833, ⟨10.1007/978-3-319-10605-2_53⟩
Communication dans un congrès hal-01153274v1

Ingénierie de la spécialisation de programmes : Tome 2, Techniques avancées

Renaud Marlet
Hermes Science - Lavoisier, pp.344, 2011
Ouvrages hal-00828364v1
Image document

A MRF Shape Prior for Facade Parsing with Occlusions

Mateusz Koziński , Raghudeep Gadde , Sergey Zagoruyko , Guillaume Obozinski , Renaud Marlet
Conference on Computer Vision and Pattern Recognition (CVPR 2015), Jun 2015, Boston, Massachusetts, United States. pp.2820-2828, ⟨10.1109/CVPR.2015.7298899⟩
Communication dans un congrès hal-01232598v1
Image document

Fast, Optimized Sun RPC Using Automatic Program Specialization

Gilles Muller , Renaud Marlet , Eugen-Nicolae Volanschi , Charles Consel , Calton Pu , et al.
[Research Report] RR-3220, INRIA. 1997
Rapport inria-00073469v1

Static and Dynamic Program Compilation by Interpreter Specialization

Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller
Higher-Order and Symbolic Computation, 2000, 13 (3), pp.161--178
Article dans une revue inria-00475687v1
Image document

A Grammar Correction Algorithm – Deep Parsing and Minimal Corrections for a Grammar Checker

Lionel Clément , Kim Gerdes , Renaud Marlet
14th conference on Formal Grammar (FG 2009), Jul 2009, Bordeaux, France
Communication dans un congrès inria-00396240v1
Image document

Robust and Accurate Line- and/or Point-Based Pose Estimation without Manhattan Assumptions

Yohann Salaün , Renaud Marlet , Pascal Monasse
14th European Conference on Computer Vision (ECCV 2016), Oct 2016, Amsterdam, Netherlands. pp.801 - 818, ⟨10.1007/978-3-319-46478-7_49⟩
Communication dans un congrès hal-01397813v1
Image document

Crafting a multi-task CNN for viewpoint estimation

Francisco Massa , Renaud Marlet , Mathieu Aubry
British Machine Vision Conference (BMVC 2016), Sep 2016, York, United Kingdom. ⟨10.5244/C.30.91⟩
Communication dans un congrès hal-01743267v1
Image document

Beyond Procedural Facade Parsing: Bidirectional Alignment via Linear Programming

Mateusz Koziński , Guillaume Obozinski , Renaud Marlet
2014 Asian Conference on Computer Vision (ACCV), Nov 2014, Singapore, Singapore. pp.79-94, ⟨10.1007/978-3-319-16817-3_6⟩
Communication dans un congrès hal-01095342v1
Image document

Line-based Robust SfM with Little Image Overlap

Yohann Salaün , Renaud Marlet , Pascal Monasse
3DV 2017 International Conference on 3D Vision 2017, Oct 2017, Qingdao, China. ⟨10.1109/3DV.2017.00031⟩
Communication dans un congrès hal-01618686v1
Image document

Verification of cryptographic protocols implemented in Java Card

Renaud Marlet , Daniel Le Métayer
e-Smart conference (e-Smart 2003), Sophia Antipolis, Sep 2003, France. pp.électronique
Communication dans un congrès hal-00306305v1

Spécialiser les programmes, spécialiser les langages

Renaud Marlet
2007
Autre publication scientifique inria-00407829v1
Image document

Toward a knowledge representation model dedicated to the semantic analysis of the sentence

Jules Vanier , Christian Bassac , Patrick Henry , Renaud Marlet , Christian Retoré
[Rapport de recherche] RR-5951, INRIA. 2006, pp.46
Rapport inria-00084245v4
Image document

A Survey and Benchmark of Automatic Surface Reconstruction from Point Clouds

Raphael Sulzer , Loic Landrieu , Renaud Marlet , Bruno Vallet
2023
Pré-publication, Document de travail hal-03968453v1

A Grammar Correction Algorithm

Kim Gerdes , Lionel Clémént , Renaud Marlet
Lecture Notes in Computer Science, 2011, 5591, pp.47-63. ⟨10.1007/978-3-642-20169-1_4⟩
Article dans une revue istex halshs-00685078v1
Image document

A Domain-Specific Language for Video Device Drivers: from Design to Implementation

Scott Thibault , Renaud Marlet , Charles Consel
[Research Report] RR-3218, INRIA. 1997
Rapport inria-00073471v1
Image document

Pixel-Pair Occlusion Relationship Map (P2ORM): Formulation, Inference and Application

Xuchong Qiu , Yang Xiao , Chaohui Wang , Renaud Marlet
European Conference on Computer Vision, Aug 2020, Online, France. pp.690-708, ⟨10.1007/978-3-030-58548-8_40⟩
Communication dans un congrès hal-03133241v1