Skip to Main content Skip to Navigation

hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-01493442v1  Journal articles
Cérès CartonAurélie LemaitreBertrand Coüasnon. Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition, Springer Verlag, 2017, 20 (2), pp.91-103. ⟨10.1007/s10032-017-0282-x⟩
hal-01246370v1  Journal articles
Eric MarchandHideaki UchiyamaFabien Spindler. Pose Estimation for Augmented Reality: A Hands-On Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (12), pp.2633 - 2651. ⟨10.1109/TVCG.2015.2513408⟩
hal-01391065v1  Journal articles
Pierre BuyssensOlivier Le MeurMaxime DaisyDavid TschumperléOlivier Lézoray. Depth-guided disocclusion inpainting of synthesized RGB-D images
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (2), pp.525-538. ⟨10.1109/TIP.2016.2619263⟩
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
hal-01388959v1  Journal articles
Elif VuralChristine Guillemot. Out-of-sample generalizations for supervised manifold learning for classification
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.15. ⟨10.1109/tip.2016.2520368⟩
hal-01650409v1  Journal articles
Hangke SongZhi LiuHuan DuGuangling SunOlivier Le Meur et al.  Depth-Aware Salient Object Detection and Segmentation via Multiscale Discriminative Saliency Fusion and Bootstrap Learning
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4204 - 4216. ⟨10.1109/TIP.2017.2711277⟩
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
hal-01388955v1  Journal articles
Julio Cesar FerreiraElif VuralChristine Guillemot. Geometry-Aware Neighborhood Search for Learning Local Models for Image Superresolution
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.14. ⟨10.1109/tip.2016.2522303⟩
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
hal-01217115v1  Journal articles
Yu GaoGene CheungThomas MaugeyPascal FrossardLiang Jie. Encoder-Driven Inpainting Strategy in Multiview Video Compression
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (1), pp.134-149. ⟨10.1109/tip.2015.2498400⟩
hal-01591517v1  Journal articles
Reuben FarrugiaChristine Guillemot. Face Hallucination Using Linear Models of Coupled Sparse Support
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4562-4577. ⟨10.1109/TIP.2017.2717181⟩
hal-01116211v1  Journal articles
Thomas MaugeyAntonio OrtegaPascal Frossard. Graph-based representation for multiview image geometry
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2015, 24 (5), pp.1573-1586. ⟨10.1109/TIP.2015.2400817⟩
hal-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
hal-01388961v1  Journal articles
Mikaël Le PenduChristine GuillemotDominique Thoreau. Inter-Layer Prediction of Color in High Dynamic Range Image Scalable Compression
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25, pp.3585 - 3596. ⟨10.1109/TIP.2016.2571559⟩
hal-01645392v1  Journal articles
Yayaoui CheherazedJean-Louis LanetMohamed MezghicheKarim Tamine. Machine Learning Techniques to Predict Sensitive Patterns to Fault Attack in the Java Card Application
Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, 2018, 30 (1), pp.101-127. ⟨10.1080/0952813x.2017.1409276⟩
hal-01663508v1  Journal articles
Eduardo CanalePablo RomeroGerardo Rubino. Factorization and Exact Evaluation of the Source-Terminal Diameter-Constrained Reliability
Networks, Wiley, 2017, Special Issue on Design of Resilient Communication Networks, 70 (4), pp.283-291. ⟨10.1002/net.21780⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
hal-02121567v2  Conference papers
Ronan GaugneValérie Gouranton. 3D pour l’archéologie : quelles interactions, pour quoi faire ?
2019 - Archéologie : imagerie numérique et 3D, Sylvie Eusèbe; Théophane Nicolas; Valérie Gouranton; Ronan Gaugne, Jun 2018, Rennes, France. ⟨10.34692/xvyt-hr49⟩
hal-02502648v1  Conference papers
Romain TerrierValérie GourantonCédric BachNico PallaminBruno Arnaldi. Scenario-based VR Framework for Product Design
VISIGRAPP 2020 - 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2020, Valletta, Malta. pp.1-8
hal-02126782v2  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Learning Tensor-structured Dictionaries with Application to Hyperspectral Image Denoising
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruña, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8902593⟩
hal-02175630v1  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Hyperspectral Image Denoising using Dictionary Learning
WHISPERS 2019 - 10th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, Sep 2019, Amsterdam, Netherlands. pp.1-5, ⟨10.1109/WHISPERS.2019.8921110⟩
hal-01939638v1  Journal articles
Romain BourcierDiala AbedMichel PiotinHocine RedjemJean-Christophe Ferré et al.  Multicenter initial experience with the EmboTrap device in acute anterior ischemic stroke
American Journal of Neuroradiology, American Society of Neuroradiology, 2018, 45 (4), pp.230-235
hal-03197198v1  Journal articles
Wouter van TollJulien Pettré. Algorithms for Microscopic Crowd Simulation: Advancements in the 2010s
Computer Graphics Forum, Wiley, In press, Eurographics 2021, 40 (2)
hal-03185984v1  Directions of work or proceedings
Aaron SmithDelphine DemangeRajiv Gupta. CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction
CC '21 - 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Republic of Korea, France. ACM, 2021, ⟨10.1145/3446804⟩
hal-03195692v1  Conference papers
George GiakkoupisMehrdad Jafari GivPhilipp Woelfel. Efficient Randomized DCAS
STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing, Jun 2021, Rome (Virtual), Italy. pp.1-64
hal-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
hal-03038560v1  Conference papers
Sébastien CanardAdela GeorgescuGuillaume KaimAdeline Roux-LangloisJacques Traoré. Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model
ProvSec 2020 - the 14th International Conference on Provable and Practical Security, Nov 2020, Singapore / Virtual, Singapore. pp.24-44, ⟨10.1007/978-3-030-62576-4_2⟩
hal-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
hal-03149211v1  Conference papers
Lamine NoureddineAnnelie HeuserCassius PuodziusOlivier Zendra. SE-PAC: A Self-Evolving PAcker Classifier against rapid packers evolution
CODASPY '21 - 11th ACM Conference on Data and Application Security and Privacy, Apr 2021, Virtual Event, United States. pp.1-12, ⟨10.1145/3422337.3447848⟩
hal-01888300v2  Journal articles
Yves MocquardBruno SericolaEmmanuelle Anceaume. Probabilistic Analysis of Rumor Spreading Time
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2020, 32 (1), ⟨10.1287/ijoc.2018.0845⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-03038124v1  Conference papers
Olivier BernardAdeline Roux-Langlois. Twisted-PHS: Using the Product Formula to Solve Approx-SVP in Ideal Lattices
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, France
hal-03058482v1  Conference papers
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
hal-02473843v1  Conference papers
Giuseppe Di LunaEmmanuelle AnceaumeSilvia BonomiLeonardo Querzoni. Synchronous Byzantine Lattice Agreement in O(log(f )) Rounds
ICDCS 2020 - 40th IEEE International Conference on Distributed Computing Systems, IEEE, Nov 2020, Singapore, Singapore. pp.1-11
hal-03043681v1  Conference papers
Geoffrey SaunoisFrédérique RobinEmmanuelle AnceaumeBruno Sericola. Permissionless Consensus based on Proof-of-Eligibility
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Boston (virtual venue), United States
hal-03199313v1  Conference papers
Deise Santana MaiaMinh-Tan PhamSébastien Lefèvre. Watershed-based attribute profiles for pixel classification of remote sensing data
DGMM 2021 - IAPR International Conference on Discrete Geometry and Mathematical Morphology, May 2021, Uppsala / Virtual, Sweden
hal-02566587v1  Conference papers
Anne KiefferPatrick MailléBruno Tuffin. Non Neutrality With Users Deciding Differentiation: A Satisfying Option?
IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) Workshop, Nov 2020, Nice, France
hal-02542689v1  Conference papers
Ximun CastoreoPatrick MailléBruno Tuffin. Weaknesses and Challenges of Network Neutrality Measurement Tools
16th International Conference on Network and Service Management (CNSM), Nov 2020, Bordeaux, France
hal-01938939v1  Conference papers
Patrick MailléBruno Tuffin. A Network Reliability Game
17th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON),, Sep 2020, Izola, Slovenia
hal-01578990v1  Conference papers
Tristan AllardTassadit BouadiJoris DuguépérouxVirginie Sans. From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems
International Workshop on Personal Analytics and Privacy (In conjunction with ECML PKDD 2017) , Sep 2017, Skopje, Macedonia
hal-01400271v1  Poster communications
Nathanael CheriereMatthieu Dorier. Design and Evaluation of Topology-aware Scatter and AllGather Algorithms for Dragonfly Networks
Supercomputing 2016, Nov 2016, Salt Lake City, United States. Supercomputing 2016
hal-02177158v1  Journal articles
Paul TempleMathieu AcherJean-Marc Jézéquel. Empirical Assessment of Multimorphic Testing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-21. ⟨10.1109/TSE.2019.2926971⟩
hal-02313650v1  Conference papers
Routa MoussailebCharles BerrtiGuillaume DeboisdeffreNora CuppensJean-Louis Lanet. Watch Out! Doxware on The Way…
CRiSIS 2019 - 14th International Conference on Risks and Security of Internet and Systems, Oct 2019, Hammamet, Tunisia
hal-02118385v1  Conference papers
Emmanuelle AnceaumeAdeline GuellierRomaric LudinardBruno Sericola. Sycomore : un registre de transactions distribué et public au débit auto-adaptatif
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
hal-02305957v2  Journal articles
Alessio AntoniniMari Carmen Suárez-FigueroaAlessandro AdamouFrancesca BenattiFrançois Vignale et al.  Understanding the phenomenology of reading through modelling
Semantic Web – Interoperability, Usability, Applicability, IOS Press, In press, 12 (2), pp.191-217. ⟨10.3233/SW-200396⟩
hal-01415724v1  Conference papers
Antonin GillesPatrick GioiaRémi CozotLuce Morin. Computer generated hologram from Multiview-plus-Depth data considering specular reflections
IEEE International Conference on Multimedia Expo Workshops (ICMEW 2016), Jul 2016, Seattle, WA, United States. pp.1-6, ⟨10.1109/ICMEW.2016.7574699⟩
hal-01502883v1  Conference papers
Grégory SmitsMarie-Jeanne LesotOlivier Pivert. Vocabulary Elicitation for Informative Descriptions of Classes
joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems (IFSA-SCSI'17), Jun 2017, Otsu, Japan
hal-01219780v1  Conference papers
Hristova HristinaRémi CozotOlivier Le MeurKadi Bouatouch. Color transfer between high-dynamic-range images
SPIE 9599, Applications of Digital Image Processing XXXVIII, Aug 2015, san diego, United States
hal-01730163v2  Conference papers
Paul TempleMathieu AcherJean-Marc Jézéquel. Multimorphic Testing
ICSE '18 - ACM/IEEE 40th International Conference on Software Engineering, May 2018, Gothenburg, Sweden. pp.1-2, ⟨10.1145/3183440.3195043⟩
hal-01659137v1  Journal articles
Paul TempleMathieu AcherJean-Marc JézéquelOlivier Barais. Learning-Contextual Variability Models
IEEE Software, Institute of Electrical and Electronics Engineers, 2017, 34 (6), pp.64-70. ⟨10.1109/MS.2017.4121211⟩
hal-03139240v1  Conference papers
Cédric HerzogValérie TongPierre WilkeJean-Louis Lanet. Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure
CAID 2020 - Conference on Artificial Intelligence for Defense, Dec 2020, Rennes, France. ⟨10.5220/0009816703020309⟩
hal-01357713v1  Journal articles
Ludovic HoyetAnne-Hélène OlivierRichard KulpaJulien Pettré. Perceptual Effect of Shoulder Motions on Crowd Animations
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35 (4), pp.1-10. ⟨10.1145/2897824.2925931⟩
hal-01867937v1  Conference papers
Said Yacine BoulahiaEric AnquetilFranck MultonRichard Kulpa. Détection précoce d'actions squelettiques 3D dans un flot non segmenté à base de modèles curvilignes
RFIAP 2018 Reconnaissance des Formes, Image, Apprentissage et Perception, Jun 2018, Paris, France. pp.1-8
hal-01205681v1  Journal articles
Alexandra CovaciAnne-Hélène OlivierFranck Multon. Visual Perspective and Feedback Guidance for VR Free-Throw Training
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2015, 35 (5), pp.55 - 65. ⟨10.1109/MCG.2015.95⟩
hal-02373525v1  Conference papers
Anne-Hélène OlivierNicolas Le BorgneMarie BabelArmel CrétualJulien Pettré. Evitement de collision entre un piéton et une personne sur un fauteuil roulant motorisé
SOFPEL 2019 - 26ème congrès de la Société Francophone Posture, Équilibre et Locomotion, Dec 2019, Montréal, Canada
hal-02058359v1  Poster communications
Natalie SnyderMichael CinelliVictoria RaposArmel CrétualAnne-Hélène Olivier. Collision avoidance between two walkers: Reduced avoidance behaviour in previously concussed athletes
ISPGR 2019 - Conference of the International Society for Posture & Gait Research (ISPGR), Jun 2019, Edinburgh, United Kingdom
hal-02349490v1  Conference papers
Tristan CharrierArthur QueffelecOcan SankurFrançois Schwarzentruber. Reachability and Coverage Planning for Connected Agents
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
hal-02058347v1  Poster communications
Carole PuilAnne-Hélène OlivierArmel Crétual. Impact of a thin plantar orthopaedic insert on posture and locomotion
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom
hal-01410216v1  Conference papers
Gilles BartheSonia BelaïdFrançois DupressoirPierre-Alain FouqueBenjamin Grégoire et al.  Strong Non-Interference and Type-Directed Higher-Order Masking
CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.116 - 129, ⟨10.1145/2976749.2978427⟩
hal-02058358v1  Poster communications
Victoria RaposMichael CinelliNatalie SnyderArmel CrétualAnne-Hélène Olivier. Minimum Predicted Distance: applying a common metric to collision avoidance strategies between typically developing children and adult walkers
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom
hal-02544516v1  Conference papers
Florian BertonLudovic HoyetAnne-Hélène OlivierJulien BruneauOlivier Le Meur et al.  Eye-Gaze Activity in Crowds: Impact of Virtual Reality and Density
VR 2020 - 27th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2020, Atlanta, United States. pp.1-10
hal-01332716v1  Conference papers
Pierre PlantardHubert ShumFranck Multon. Ergonomics Measurements using Kinect with a Pose Correction Framework
Digital Human Modeling, Jun 2016, Montreal, Canada. pp.8
hal-01919065v1  Conference papers
Zhiguang LiuAntonio MucherinoLudovic HoyetFranck Multon. Surface based motion retargeting by preserving spatial relationship
MIG '18 - 11th Annual International Conference on Motion, Interaction, and Games, Nov 2018, Limassol, Cyprus. pp.1-11, ⟨10.1145/3274247.3274507⟩
hal-01612939v1  Journal articles
Pierre PlantardHubert ShumFranck Multon. Usability of corrected Kinect measurement for ergonomic evaluation in constrained environment
International Journal of Human Factors Modelling and Simulation, Inderscience, 2017, 5 (4), pp.338 - 353. ⟨10.1504/IJHFMS.2017.087018⟩
hal-02951833v1  Conference papers
Nicolas OlivierLudovic HoyetFerran Argelaguet SanzFabien DanieauQuentin Avril et al.  The impact of stylization on face recognition
SAP 2020 - ACM Symposium on Applied Perception, Sep 2020, Virtual, United States. pp.1-9, ⟨10.1145/3385955.3407930⟩