HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-02393742v1  Journal articles
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. Multiple instance learning for sequence data with across bag dependencies
International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩
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. ⟨10.4204/EPTCS.333.22⟩
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-03560332v1  Journal articles
Christophe VuillotBarbara M. TerhalJonathan Conrad. Towards scalable bosonic quantum error correction
Quantum Science and Technology, IOP Science, 2020, 5 (4), pp.043001. ⟨10.1088/2058-9565/ab98a5⟩
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, Dec 2020, Vancouver (online), Canada
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⟩
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-02524371v3  Journal articles
Thibault TricardVincent TavernierCédric ZanniJonàs MartínezPierre-Alexandre Hugron et al.  Freely orientable microstructures for designing deformable 3D prints
ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (6), pp.1-16. ⟨10.1145/3414685.3417790⟩
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-03623450v2  Reports
Natalia TomashenkoBrij Mohan Lal SrivastavaXin WangEmmanuel VincentAndreas Nautsch et al.  The VoicePrivacy 2020 Challenge Evaluation Plan
[Other] LIA - Laboratoire Informatique d'Avignon; MULTISPEECH - Speech Modeling for Facilitating Oral-Based Communication Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery; Eurecom [Sophia Antipolis]; University of Edinburgh. 2020
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-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-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-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⟩