Skip to Main content Skip to Navigation


...
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-03090873v1  Conference papers
Ioannis DourosChrysanthi DourouYu XieJacques FelblingerKaryna Isaieva et al.  Synthesize MRI vocal tract data during CV production
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
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
...
hal-02984042v2  Conference papers
Andrey GetmanskiySemen SechenevIgor RyadchikovAlexander GusevNikita Mikhalkov et al.  Real-time system architecture design practices
14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia
...
hal-02985412v2  Conference papers
Stanislav AranovskiyIgor RyadchikovNikita MikhalkovDmitry KazakovAlexey Simulin et al.  Scissored pair control moment gyroscope inverted pendulum
14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia
...
hal-02962800v1  Conference papers
Youssef El HousniAurore Guillevic. Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition
CANS 2020 - 19th International Conference on Cryptology and Network Security, Dec 2020, Vienna / Virtual, Austria. pp.259-279, ⟨10.1007/978-3-030-65411-5_13⟩
...
hal-03090859v1  Conference papers
Karyna IsaievaYves LaprieAlexis HoussardJacques FelblingerPierre-André Vuissoz. Tracking the tongue contours in rt-MRI films with an autoencoder DNN approach
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090865v1  Conference papers
Ioannis DourosYu XieChrysanthi DourouJacques FelblingerKaryna Isaieva et al.  Vocal tract sagittal slices estimation from MRI midsagittal slices during speech production of CV
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03109552v1  Conference papers
Yael KolasaEliott GandioleThierry Bastogne. Quality-by-design development of a patient mobility e-monitoring system
2nd EAI International Conference on Wearables in Healthcare, EAI HealthWear 2020, Dec 2020, Virtual, France
...
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-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-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-02992612v1  Conference papers
François ProtaisEtienne CormanNicolas RayDmitry Sokolov. Champs de repères pour les modèles CAO
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France. pp.1 - 5
...
hal-02992630v1  Conference papers
David LopezNicolas RayDmitry Sokolov. Remaillage de surfaces déformables
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
hal-02992607v1  Conference papers
Guillaume CoiffierJustine BasselinNicolas RayDmitry Sokolov. Ajustement de surfaces paramétriques sur nuages de points
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
hal-02992599v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Génération de maillage quadrangulaire d'un domaine du plan via les équations de Ginzburg-Landau
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
hal-02992596v1  Conference papers
David DesobryEtienne CormanNicolas RayDmitry Sokolov. Champs de repères 2D non orthogonaux
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France. pp.1 - 5
...
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-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-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-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-03065236v1  Conference papers
Maria BoritchevPhilippe de Groote. On dialogue modeling: a dynamic epistemic inquisitive approach
New Frontiers in Artificial Intelligence. JSAI-isAI 2020., Nov 2020, Online, Japan. pp.21--36, ⟨10.1007/978-3-030-79942-7_2⟩
...
hal-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey
...
hal-02962907v1  Conference papers
Samuele CornellMichel OlveraManuel ParienteGiovanni PepeEmanuele Principi et al.  Task-Aware Separation for the DCASE 2020 Task 4 Sound Event Detection and Separation Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
...
hal-02544156v1  Conference papers
Raphaël DuroselleDenis JouvetIrina Illina. Unsupervised regularization of the embedding extractor for robust language identification
Odyssey 2020 - The Speaker and Language Recognition Workshop, Nov 2020, Tokyo, Japan
...
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-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-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-02889146v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Perspective-2-Ellipsoid: Bridging the Gap Between Object Detections and 6-DoF Camera Pose
IROS 2020 – 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States
...
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-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-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-02990614v1  Conference papers
Antoine DefournéPetar Vukmirovic. Higher-order Automation in TLAPS
TLA+ Community Event 2020, Oct 2020, Virtual, France
...
hal-02864059v5  Conference papers
Guilherme AlvesVaishnavi BhargavaMiguel CouceiroAmedeo Napoli. Making ML models fairer through explanations: the case of LimeOut
9th International Conference on Analysis of Images, Social Networks, and Texts 2020 (AIST 2020), Oct 2020, Moscow, Russia
...
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-03109525v1  Conference papers
Jeanne DeleforterieLucie HasslerThierry Bastogne. A dendrogram clustering of lipid nanoparticles
15th annual event of the ETPN – European Technology Platform on Nanomedicine, ETPN2020, Oct 2020, Heraklion, Greece
...
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-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-02864071v2  Conference papers
Miguel CouceiroErkko LehtonenLaurent MicletHenri PradeGilles Richard. When nominal analogical proportions do not fail
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
...
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-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-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-02457161v1  Conference papers
Jimmy EtienneSylvain Lefebvre. Procedural band patterns
Symposium on Interactive 3D Graphics and Games, Sep 2020, San Francisco, United States. pp.1 - 7, ⟨10.1145/3384382.3384522⟩
...
hal-02988123v1  Conference papers
Bizhan PijaniAbdessamad ImineMichaël Rusinowitch. Online Attacks on Picture Owner Privacy
DEXA 2020 - 31st International Conference on Database and Expert Systems Applications, Sep 2020, Bratislava, Slovakia. pp.33-47, ⟨10.1007/978-3-030-59051-2_3⟩
...
hal-02948407v1  Conference papers
Abdelkader LahmadiAlexis DuqueNathan HeraiefJulien Francq. MitM Attack Detection in BLE Networks using Reconstruction and Classification Machine Learning Techniques
MLCS 2020 - 2nd Workshop on Machine Learning for Cybersecurity, Sep 2020, Ghent, Belgium. pp.1-16
...
hal-02979233v1  Conference papers
Vaishnavi BhargavaMiguel CouceiroAmedeo Napoli. LimeOut: An Ensemble Approach To Improve Process Fairness
ECML-PKDD International Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2020), Sep 2020, Ghent, Belgium. pp.475-491
...
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-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-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
...
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-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-03141063v1  Conference papers
Fajar HaifaniPatrick KoopmannSophie TourretChristoph Weidenbach. On a Notion of Relevance
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
...
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-02983533v1  Conference papers
Hoai Le NguyenClaudia-Lavinia Ignat. Time-position characterization of conflicts: a case study of collaborative editing
The 26th International Conference on Collaboration Technologies and Social Computing (CollabTech 2020), Sep 2020, Tartu/VIrtual, Estonia
...
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-02967029v2  Conference papers
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Terminating Non-Disjoint Combined Unification
LOPSTR 2020 - 30th International Symposium on Logic-based Program Synthesis and Transformation, Maurizio Gabbrielli, Sep 2020, Bologna, Italy. pp.113-130, ⟨10.1007/978-3-030-68446-4_6⟩
...
hal-02476012v3  Conference papers
Horatiu CirsteaPierre LermusiauxPierre-Etienne Moreau. Pattern eliminating transformations
LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
...
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-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-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-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-02913224v1  Conference papers
Pierre MonninEmmanuel BressoMiguel CouceiroMalika Smaïl-TabboneAmedeo Napoli et al.  Tackling scalability issues in mining path patterns from knowledge graphs: a preliminary study
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912876v1  Conference papers
Miguel CouceiroErkko Lehtonen. Linearly definable classes of Boolean functions
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912877v1  Conference papers
Guillaume BonfanteMiguel Couceiro. Termination of graph rewriting systems through language theory
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912878v1  Conference papers
Miguel CouceiroMichel Grabisch. Monotonic computation rules for nonassociative calculus
1st international conference on ALgebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
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-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-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-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-03059811v1  Conference papers
Vincent DespréMichaël RaoStéphan Thomassé. Testing Balanced Splitting Cycles in Complete Triangulations
Canadian Conference on Computational Geometry (CCCG 2020), Aug 2020, Saskatchewan/Online, Canada. ⟨10.4230/LIPIcs⟩
...
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-02568428v1  Conference papers
Yaël KolasaThierry BastogneJean-Philippe GeorgesSylvain Kubler. Quality-by-design-engineered pBFT consensus configuration for medical device development
EMBC 2020 - 42nd Engineering in Medicine and Biology Conference, Jul 2020, Montreal, Canada
...
hal-02568440v1  Conference papers
Levy BatistaMathieu MilhemThierry BastogneFabien ClanchéGabin Personeni et al.  A data-driven classification solution for the timed-up and go test in risk falling assessment
EMBC 2020 - 42nd Engineering in Medicine and Biology Conference, Jul 2020, Montréal, Canada
...
hal-02930715v1  Conference papers
Maria BoritchevMaxime Amblard. There is as yet Insufficient Data for a Meaningful Answer
SemDial - WatchDial The 24th Workshop on the Semantics and Pragmatics of Dialogue, Jul 2020, Brandeis, United States