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-03018433v1  Conference papers
Vladimir Zamdzhiev. Computational Adequacy for Substructural Lambda Calculi
Applied Category Theory 2020, Jul 2020, Virtual, United States
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-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-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
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-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-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-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⟩
tel-03008177v1  Habilitation à diriger des recherches
Julie Valein. Contrôle, stabilité et problèmes inverses pour les systèmes à retard et les réseaux : une contribution mathématique et numérique
Equations aux dérivées partielles [math.AP]. Université de Lorraine, 2020
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