Skip to Main content Skip to Navigation

hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
hal-02402986v1  Conference papers
Adrien HemmerRemi BadonnelIsabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
hal-02625712v1  Conference papers
Adrien HemmerRemi BadonnelJérôme FrançoisIsabelle Chrisment. A Process Mining Tool for Supporting IoT Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
hal-02396352v2  Conference papers
Aurore Guillevic. A short-list of pairing-friendly curves resistant to Special TNFS at the 128-bit security level
PKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh, United Kingdom. pp.535-564, ⟨10.1007/978-3-030-45388-6_19⟩
hal-03103869v1  Conference papers
Guillaume GirolLucca HirschiRalf SasseDennis JacksonCas Cremers et al.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
hal-02995862v2  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender
The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States
hal-02881308v1  Conference papers
Emmanuel HainryBruce KapronJean-yves MarionRomain Péchoux. A tier-based typed programming language characterizing Feasible Functionals
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
hal-03065632v1  Conference papers
Nazim HaouchineParikshit JuvekarAlexandra GolbyWilliam M WellsStéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
hal-03134114v1  Conference papers
Mathilde BoltenhagenBenjamin ChetiouiLaurine Huber. An Alignment Cost-Based Classification of Log Traces Using Machine-Learning
ML4PM2020 - First International Workshop on Leveraging Machine Learning in Process Mining, Oct 2020, Padua/ Virtual, Italy. ⟨10.1007/978-3-030-72693-5_11⟩
hal-03143502v1  Conference papers
Heba AlkayedHoratiu CirsteaStephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany
hal-02871839v1  Conference papers
Gabrielle de MicheliPierrick GaudryCécile Pierrot. Asymptotic complexities of discrete logarithm algorithms in pairing-relevant finite fields
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.32-61
hal-02903620v1  Conference papers
Véronique CortierStéphanie DelauneJannik Dreier. Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols
ESORICS 2020 - 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3--22, ⟨10.1007/978-3-030-59013-0_1⟩
hal-02880764v1  Conference papers
Paloma de Las CuevasPablo Garcia-SanchezZaineb Chelly DagdiaMaria-Isabel Garcia-ArenasJuan Julian Merelo. Automatic rule extraction from access rules using Genetic Programming
EvoCOP 2020 - 20th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2020, Seville, Spain
hal-02867413v1  Conference papers
Garip KusogluBérenger BramasStéphane Genaud. Automatic task-based parallelization of C++ applications by source-to-source transformations
Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
hal-02448197v2  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. BERT and fastText Embeddings for Automatic Detection of Toxic Speech
SIIE 2020 - Information Systems and Economic Intelligence; International Multi-Conference on:“Organization of Knowledge and Advanced Technologies”(OCTA), Feb 2020, Tunis, Tunisia
hal-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
hal-02469901v3  Conference papers
Diego Di CarloClément ElviraAntoine DeleforgeNancy BertinRémi Gribonval. BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
hal-02266264v2  Conference papers
Pierrick GaudryAlexander Golovnev. Breaking the encryption scheme of the Moscow Internet voting system
Financial Cryptography and Data Security, 2020, Kota Kinabalu, Malaysia. pp.32-49, ⟨10.1007/978-3-030-51280-4_3⟩
hal-03122343v1  Conference papers
Jaume BaixeriesVictor CodocedoMehdi KaytoueAmedeo Napoli. Building a Representation Context Based on Attribute Exploration Algorithms
FCA4AI 2020 - 8th International Workshop "What can do for Artificial Intelligence?", Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph, Aug 2020, Santiago de Compostela/Virtual, Spain. pp.141--152
hal-02541391v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. Capturing Privacy-preserving User Contexts with IndoorHash
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
hal-02546993v2  Conference papers
Shinji WatanabeMichael MandelJon BarkerEmmanuel VincentAshish Arora et al.  CHiME-6 Challenge: Tackling multispeaker speech recognition for unsegmented recordings
CHiME 2020 - 6th International Workshop on Speech Processing in Everyday Environments, May 2020, Barcelona / Virtual, Spain
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
hal-02864678v1  Conference papers
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs
IDA 2020 -18th International Symposium on Intelligent Data Analysis, Jun 2020, Konstanz / Virtual, Germany. pp.132-144, ⟨10.1007/978-3-030-44584-3_11⟩
hal-02983557v1  Conference papers
Weihai yuClaudia-Lavinia Ignat. Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge
IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China
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-02573885v2  Conference papers
Ajinkya KulkarniVincent ColotteDenis Jouvet. Deep variational metric learning for transfer of expressivity in multispeaker text to Speech
SLSP 2020 - 8th International Conference on Statistical Language and Speech Processing, Oct 2020, Cardiff / Virtual, United Kingdom
hal-02876726v3  Conference papers
Nazim HaouchineParikshit JuvekarWilliam M Wells IiiStéphane CotinAlexandra Golby et al.  Deformation Aware Augmented Reality for Craniotomy using 3D/2D Non-rigid Registration of Cortical Vessels
Medical Image Computing and Computer Assisted Intervention, Oct 2020, Lima, Peru. pp.735--744
hal-02298815v3  Conference papers
Antonin CallardMathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
hal-02610447v2  Conference papers
Brij Mohan Lal SrivastavaNatalia TomashenkoXin WangEmmanuel VincentJunichi yamagishi et al.  Design Choices for X-vector Based Speaker Anonymization
INTERSPEECH 2020, International Speech Communication Association (ISCA), Oct 2020, Shanghai, China
hal-02980115v1  Conference papers
Mingxiao MaAbdelkader LahmadiIsabelle Chrisment. Detecting a Stealthy Attack in Distributed Control for Microgrids using Machine Learning Algorithms
3rd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), Jun 2020, Tampere (online), Finland
hal-02880553v1  Conference papers
Frédéric PennerathPanagiotis MandrosJilles Vreeken. Discovering Approximate Functional Dependencies using Smoothed Mutual Information
KDD 2020 - 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Aug 2020, San Diego / Virtual, United States. pp.1254 -- 1264
hal-02555221v1  Conference papers
Adam GaierAlexander AsterothJean-Baptiste Mouret. Discovering Representations for Black-box Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390221⟩
hal-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
hal-02389159v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
hal-03090869v1  Conference papers
Anastasiia TsukanovaIoannis K Dourosyves Laprie. DNN-Based Parametric Speech Synthesis Enhanced With Articulatory Information
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
hal-03000308v1  Conference papers
Laurine HuberChaker MemmadiMathilde Dargnatyannick Toussaint. Do Sentence Embeddings Capture Discourse Properties of Sentences from Scientific Abstracts ?
CODI 2020 - EMNLP 1st Workshop on Computational Approaches to Discourse, Nov 2020, Punta Cana, Dominican Republic
hal-02927185v1  Conference papers
Antoine MoniotRohit Royyann GuermeurIsaure Chauvot de Beauchêne. Docking of RNA Hairpin on Protein Using a Fragment-Based Method
JOBIM 2020 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jun 2020, Montpellier, France
hal-02962911v1  Conference papers
Samuele CornellMichel OlveraManuel ParienteGiovanni PepeEmanuele Principi et al.  Domain-Adversarial Training and Trainable Parallel Front-end for the DCASE 2020 Task 4 Sound Event Detection Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichael RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
hal-03430293v1  Conference papers
Antoine Deleforge. Drone audition for search and rescue: Datasets and challenges
QUIET DRONES International Symposium on UAV/UAS Noise, Oct 2020, Paris, France
hal-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
hal-03036350v1  Conference papers
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
hal-02526724v2  Conference papers
Matthieu NicolasGérald OsterOlivier Perrin. Efficient Renaming in Sequence CRDTs
PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece
hal-02912874v1  Conference papers
Esteban MarquerAjinkya KulkarniMiguel Couceiro. Embedding Formal Contexts Using Unordered Composition
FCA4AI - 8th International Workshop "What can FCA do for Artificial Intelligence?" (colocated wit ECAI2020), Aug 2020, Santiago de Compostela, Spain
hal-03032578v1  Conference papers
Pierre-Olivier BrissaudJérôme FrançoisIsabelle ChrismentThibault CholezOlivier Bettan. Encrypted HTTP/2 Traffic Monitoring: Standing the Test of Time and Space
WIFS2020 - IEEE International Workshop on Information Forensics and Security, Dec 2020, New-York/Virtual, United States
hal-02961522v1  Conference papers
Benedikt KolbeMyfanwy Evans. Enumerating tilings of triply-periodic minimal surfaces with rotational symmetries
EuroCG 2020- 36th European Workshop on Computational Geometry, 2020, Würzburg, Germany
hal-03697401v1  Conference papers
Sergei NikolaevStéphane Cotin. Estimation of boundary conditions for patient-specific liver simulation during augmented surgery
IPCAI 2020 - The 11th International Conference on Information Processing in Computer-Assisted Interventions, Jun 2020, Munich, Germany. pp.1107-1115
hal-02355115v2  Conference papers
Brij Mohan Lal SrivastavaNathalie VauquierMd SahidullahAurélien BelletMarc Tommasi et al.  Evaluating Voice Conversion-based Privacy Protection against Informed Attackers
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806
hal-02479502v1  Conference papers
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
hal-02313600v2  Conference papers
Dmitry SokolovStanislav AranovskiyAlexander A GusevIgor Ryadchikov. Experimental comparison of velocity estimators for a control moment gyroscope inverted pendulum
AMC 2020 - 16th IEEE International Workshop on Advanced Motion Control, Sep 2020, Kristiansand / Virtual, Norway
hal-03090851v1  Conference papers
Amélie ElmerichAngelique AmelotShinji Maedayves LaprieJean Francois Papon et al.  F1 and F2 measurements for French oral vowel with a new pneumotachograph mask
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
hal-02909452v1  Conference papers
Rituraj KaushikTimothée AnneJean-Baptiste Mouret. Fast Online Adaptation in Robotics through Meta-Learning Embeddings of Simulated Priors
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Las Vegas, United States
hal-03122350v1  Conference papers
Amedeo Napoli. FCA and Knowledge Discovery (Tutorial)
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano/ Virtual, Italy. ⟨10.1007/978-3-030-57855-8⟩
hal-02969613v1  Conference papers
Véronique CortierJoseph LallemandBogdan Warinschi. Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States
hal-02355623v2  Conference papers
Manuel ParienteSamuele CornellAntoine DeleforgeEmmanuel Vincent. Filterbank design for end-to-end speech separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
hal-02886493v1  Conference papers
Vincent DespréJean-Marc SchlenkerMonique Teillaud. Flipping Geometric Triangulations on Hyperbolic Surfaces
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.35⟩
hal-02923439v1  Conference papers
Georg OsangMael Rouxel-LabbéMonique Teillaud. Generalizing CGAL Periodic Delaunay Triangulations
ALGO 2020 - 28th European Symposium on Algorithms, Sep 2020, Pise / Virtual, Italy. pp.75:1--75:17, ⟨10.4230/LIPIcs.ESA.2020.75⟩
hal-02987029v1  Conference papers
Gilles SimonSalvatore Tabbone. Generic Document Image Dewarping by Probabilistic Discretization of Vanishing Points
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
hal-02985282v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Global parametrization based on Ginzburg-Landau functional
NUMGRID 2020 — Numerical Geometry, Grid Generation and Scientific Computing, Nov 2020, Moscow/Virtual, Russia
hal-02915309v1  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. Gradual Discovery with Closure Structure of a Concept Lattice
The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn, Estonia
hal-03025827v1  Conference papers
Bishnu SarkerNavya KhareMarie-Dominique DevignesSabeur Aridhi. Graph Based Automatic Protein Function Annotation Improved by Semantic Similarity
IWBBIO 2020 - 8th International Work-Conference on Bioinformatics and Biomedical Engineering, May 2020, GRANADA, Spain. pp.261-272, ⟨10.1007/978-3-030-45385-5_24⟩
hal-02990614v1  Conference papers
Antoine DefournéPetar Vukmirovic. Higher-order Automation in TLAPS
TLA+ Community Event 2020, Oct 2020, Virtual, France
hal-02928953v1  Conference papers
Véronique CortierPierrick GaudryQuentin yang. How to fake zero-knowledge proofs, again
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
hal-02962845v1  Conference papers
Luke BertotLucas NussbaumDavid Margery. Implementing SFA Support on an Established HPC-flavored Testbed: Lessons Learned
CNERT 2020 - Computer and Networking Experimental Research using Testbeds, in conjunction with IEEE INFOCOM 2020, Jul 2020, Toronto, Canada. pp.1-6
hal-02435758v1  Conference papers
Melanie Jouaiti. Improving Motor Coordination in HRI with Bio-Inspired Controllers
HRI Pioneers Workshop 2020 - 15th annual Human-Robot Interaction Pioneers Workshop, Mar 2020, Cambridge, United Kingdom. ⟨10.1145/3371382.3377439⟩
hal-02891700v4  Conference papers
Nicolas TurpaultScott WisdomHakan ErdoganJohn R HersheyRomain Serizel et al.  Improving Sound Event Detection In Domestic Environments Using Sound Separation
DCASE Workshop 2020 - Detection and Classification of Acoustic Scenes and Events, Nov 2020, Tokyo / Virtual, Japan
hal-02984307v1  Conference papers
Andrey SakryukinChedy RaïssiMohan S Kankanhalli. Inferring DQN structure for high-dimensional continuous control
2020 International Conference on Machine Learning, Jul 2020, Vienna, Austria
hal-02928936v1  Conference papers
Laure CrochepierreLydia Boudjeloud-AssalaVincent Barbesant. Interpretable Dimensionally-Consistent Feature Extraction from Electrical Network Sensors
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases ECML/PKDD'20, Sep 2020, Gand (Virtual Conference), Belgium
hal-02862245v1  Conference papers
Stephane LevelIrina IllinaDominique Fohr. Introduction of semantic model to help speech recognition
TSD 2020 - Twenty-third International Conference on Text, Speech and Dialogue, Sep 2020, Brno, Czech Republic
hal-02493067v1  Conference papers
Pierre MonninMiguel CouceiroAmedeo NapoliAdrien Coulet. Knowledge-Based Matching of $n$-ary Tuples
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.48-56, ⟨10.1007/978-3-030-57855-8_4⟩
hal-02964065v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Label Propagation-Based Semi-Supervised Learning for Hate Speech Classification
Insights from Negative Results Workshop, EMNLP 2020, Nov 2020, Punta Cana, Dominican Republic
hal-02868800v1  Conference papers
Niels JustesenMiguel González-DuqueDaniel CabarcasJean-Baptiste MouretSebastian Risi. Learning a Behavioral Repertoire from Demonstrations
CoG 2020 - IEEE Conference on Games, 2020, Osaka / Virtual, Japan
hal-02555231v1  Conference papers
David M BossensJean-Baptiste MouretDanesh Tarapore. Learning behaviour-performance maps with meta-evolution
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico
hal-02965296v1  Conference papers
Arthur RenaudeauTravis SengAxel CarlierFabien PierreFrançois Lauze et al.  Learning Defects in Old Movies from Manually Assisted Restoration
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
hal-03137351v1  Conference papers
Nino VieillardTadashi KozunoBruno ScherrerOlivier PietquinRémi Munos et al.  Leverage the Average: an Analysis of KL Regularization in Reinforcement Learning
NeurIPS - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Online, Canada
hal-02980094v1  Conference papers
Mohamed Said FrikhaAbdelkader LahmadiSonia Mettali GammarLaurent Andrey. Leveraging Reinforcement Learning for Adaptive Monitoring of Low-Power IoT Networks
The 16th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob2020), Oct 2020, Thessaloniki (Virtual), Greece
hal-03049088v1  Conference papers
Sophie TourretPascal FontaineDaniel El OuraouiHaniel Barbosa. Lifting congruence closure with free variables to λ-free higher-order logic via SAT encoding
SMT 2020 - 18th International Workshop on Satisfiability Modulo Theories, Jul 2020, Online COVID-19, France