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-03018418v1  Conference papers
Vladimir Zamdzhiev. Semantics for First-Order Affine Inductive Data Types via Slice Categories
International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
hal-03018433v1  Conference papers
Vladimir Zamdzhiev. Computational Adequacy for Substructural Lambda Calculi
Applied Category Theory 2020, Jul 2020, Virtual, United States
...
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-03080192v1  Conference papers
Yuxuan XieJilles DibangoyeOlivier Buffet. Optimally Solving Two-Agent Decentralized POMDPs Under One-Sided Information Sharing
ICML 2020 - 37th International Conference on Machine Learning, Jul 2020, Vienne / Virtual, Austria. pp.1-10
hal-02958831v1  Conference papers
Moritz WolfDana RuiterAshwin Geet d'SaLiane ReinersJan Alexandersson et al.  HUMAN: Hierarchical Universal Modular ANnotator
EMNLP 2020 System Demonstration, Nov 2020, Punta Cana (Virtual), Dominican Republic
...
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-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-03017840v1  Journal articles
Emmanuel Vincent. Peut-on faire confiance aux IA ?
The Conversation, The Conversation France, 2020
...
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-03137343v1  Conference papers
Nino VieillardBruno ScherrerOlivier PietquinMatthieu Geist. Momentum in Reinforcement Learning
AISTATS 2020 - 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palermo / Virtual, Italy
hal-03468859v1  Conference papers
Nino VieillardOlivier PietquinMatthieu Geist. Munchausen Reinforcement Learning
NeurIPS, 2020, Vancouver / online, Canada
hal-02963914v1  Book sections
Louis ViardLaurent CiarlettaPierre-Etienne Moreau. A Mission Definition, Verification and Validation Architecture
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
...
hal-02891700v4  Conference papers
Nicolas TurpaultScott WisdomHakan ErdoganJohn 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-02467401v4  Conference papers
Nicolas TurpaultRomain SerizelEmmanuel Vincent. Limitations of weak labels for embedding and tagging
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-03090869v1  Conference papers
Anastasiia TsukanovaIoannis 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
...
tel-03021043v1  Theses
Raffaella Trivisonne. Image-guided Interactive Simulation for Endovascular Surgery
Modeling and Simulation. Université de Strasbourg, 2020. English
...
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
...
hal-02943028v1  Conference papers
Vincent ThomasGérémy HutinOlivier Buffet. Monte Carlo Information-Oriented Planning
24th ECAI 2020 - European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain
...
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-02510046v1  Conference papers
Monique Teillaud. Triangulations in CGAL - To non-Euclidean spaces and beyond!
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
hal-02862808v1  Reports
Frédéric SurBenoît BlaysatMichel Grédiac. On biases in displacement estimation for image registration, with a focus on photomechanics - Extended version
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA); Institut Pascal (Université Clermont-Auvergne, SIGMA, CNRS). 2020
...
hal-02965319v2  Conference papers
Sorin Stratulat. SPIKE, an automatic theorem prover -- revisited
SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania. pp.93-96
...
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-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-02313600v2  Conference papers
Dmitry SokolovStanislav AranovskiyAlexander 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
...
tel-02961882v1  Theses
Sunit Sivasankaran. Localization guided speech separation
Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩
...
hal-02355613v2  Conference papers
Sunit SivasankaranEmmanuel VincentDominique Fohr. SLOGD: Speaker Location Guided Deflation Approach to Speech Separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02987029v1  Conference papers
Gilles SimonAntoine 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-02962716v1  Conference papers
Ying ShengYoni ZoharChristophe RingeissenJane LangePascal Fontaine et al.  Politeness for the Theory of Algebraic Datatypes
10th International Joint Conference on Automated Reasoning, IJCAR, Jul 2020, Paris, France. pp.238--255, ⟨10.1007/978-3-030-51074-9_14⟩
...
hal-02355573v2  Conference papers
Romain SerizelNicolas TurpaultAnkit ShahJustin Salamon. Sound event detection in synthetic domestic environments
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain