Skip to Main content Skip to Navigation


...
hal-03629785v1  Conference papers
Shakeel SheikhMd SahidullahFabrice HirschSlim Ouni. Robust Stuttering Detection via Multi-task and Adversarial Learning
30th European Signal Processing Conference (EUSIPCO 2022), Aug 2022, Belgrade, Serbia
...
hal-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
hal-03658815v1  Conference papers
Zhao ZhangArmelle BrunBoyer Anne. Managing Learners' Memory Strength in a POMDP-based Learning Path Recommender System
23rd International Conference on Artificial Intelligence in Education, Jul 2022, Durham, United Kingdom
hal-03556371v1  Conference papers
Jérôme DinetRui Nouchi. Promoting Physical Activity for Elderly People with Immersive Virtual Reality (IVR)
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
hal-03556366v1  Conference papers
Jérôme Dinet. Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
...
hal-03655953v1  Conference papers
Alexandre BettingerArmelle BrunAnne Boyer. Independent Influence of Exploration and Exploitation for Metaheuristic-based Recommendations
The Genetic and Evolutionary Computation Conference (GECCO), Jul 2022, Boston, United States. ⟨10.1145/3520304.3528972⟩
...
hal-03636686v1  Journal articles
Leslie LamportStephan Merz. Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
hal-03658833v1  Conference papers
Evan DufraisseCelina TreuillierArmelle BrunJulien TourilleSylvain Castagnos et al.  Don't burst blindly: for a better use of natural language processing to fight opinion bubbles in news recommendations
PoliticalNLP 2022 - First Workshop on Natural Language Processing for Political sciences, Jun 2022, Marseille, France
...
hal-03362828v2  Conference papers
Imran SheikhEmmanuel VincentIrina Illina. Transformer versus LSTM Language Models Trained on Uncertain ASR Hypotheses in Limited Data Scenarios
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
hal-03189354v2  Conference papers
Mehmet Ali Tugtekin TuranDietrich KlakowEmmanuel VincentDenis Jouvet. Adapting Language Models When Training on Privacy-Transformed Data
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
hal-03652819v1  Conference papers
Hye-Jin ShimHemlata TakXuechen LiuHee-Soo HeoJee-Weon Jung et al.  Baseline Systems for the First Spoofing-Aware Speaker Verification Challenge: Score and Embedding Fusion
Odyssey 2022: The Speaker and Language Recognition Workshop, Jun 2022, Beijing, China
...
hal-03620358v3  Conference papers
Cas CremersCaroline FontaineCharlie Jacomme. A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
S&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco / Virtual, United States
...
hal-03602198v1  Conference papers
Phuc Ngo. Digital line segment detection for table reconstruction in document images
ICIAP 2021- 21th International Conference on Image Analysis and Processing, May 2022, Lecce, Italy. pp.211-224
...
hal-03585262v2  Conference papers
Jérôme TrucPhani-Teja SingamaneniDaniel SidobreSerena IvaldiRachid Alami. KHAOS: a Kinematic Human Aware Optimization-based System for Reactive Planning of Flying-Coworker
ICRA 2022 - IEEE International Conference on Robotics and Automation 2022, May 2022, Philadelphia, United States
...
hal-03554305v2  Conference papers
Francesca RonchiniRomain Serizel. A benchmark of state-of-the-art sound event detection systems evaluated on synthetic soundscapes
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore/Virtual, Singapore. ⟨10.1109/ICASSP43922.2022.9747577⟩
...
hal-03629677v1  Conference papers
Aurélie NévéolYoann DupontJulien BezançonKarën Fort. French CrowS-Pairs: Extending a challenge dataset for measuring social bias in masked language models to a language other than English
ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics, May 2022, Dublin, Ireland
...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
S&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States
...
hal-03551610v2  Conference papers
Zhiqi KangMostafa SadeghiRadu HoraudXavier Alameda-PinedaJacob Donley et al.  The Impact of Removing Head Movements on Audio-visual Speech Enhancement
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, IEEE Signal Processing Society, May 2022, Singapore, Singapore. pp.1-5, ⟨10.1109/ICASSP43922.2022.9746401⟩
...
hal-03668251v1  Conference papers
Michel OlveraEmmanuel VincentGilles Gasso. On the impact of normalization strategies in unsupervised adversarial domain adaptation for acoustic scene classification
2022 IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore
...
hal-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
...
hal-03616852v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Learnable Nonlinear Compression for Robust Speaker Verification
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9747185⟩
...
hal-03562763v1  Conference papers
Janek EbbersReinhold Haeb-UmbachRomain Serizel. Threshold independent evaluation of sound event detection scores
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9747556⟩
...
hal-03563761v1  Conference papers
Amine Boumaza. Seeking Specialization Through Novelty in Distributed Online Collective Robotics
EvoApplications 2022 - 25th International Conference on the Applications of Evolutionary Computation, Apr 2022, Madrid, Spain. pp.635-650, ⟨10.1007/978-3-031-02462-7_40⟩
...
hal-03664678v1  Journal articles
Matthijs EbbensIordan IordanovMonique TeillaudGert Vegter. Delaunay triangulations of generalized Bolza surfaces
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2022, 13 (1), pp.125-177. ⟨10.20382/jocg.v13i1a5⟩
...
hal-03584553v2  Conference papers
Pierre-Antoine RaultClaudia-Lavinia IgnatOlivier Perrin. Distributed Access Control for Collaborative Applications using CRDTs
PaPoC 2022 - 9th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2022, Rennes, France. ⟨10.1145/3517209.3524826⟩
...
hal-03648041v1  Journal articles
Erwan SchildGautier DurantinJean-Charles LamirelFlorian Miconi. Iterative and Semi-Supervised Design of Chatbots Using Interactive Clustering
International Journal of Data Warehousing and Mining (IJDWM), IGI Global, 2022, 18 (2), pp.1-19. ⟨10.4018/IJDWM.298007⟩
...
hal-03501774v2  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
SyntaxFest Quasy 2021 - Quantitative Syntax, Mar 2022, Sofia, Bulgaria
...
hal-03509136v1  Conference papers
Kim GerdesBruno GuillaumeSylvain KahaneGuy Perrier. Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
SyntaxFest Depling 2021 - 6th International Conference on Dependency Linguistics, Mar 2022, Sofia, Bulgaria
...
hal-03494462v1  Conference papers
Sylvain KahaneMartine VanhoveRayan ZianeBruno Guillaume. A morph-based and a word-based treebank for Beja
TLT 2021 - 20th International Workshop on Treebanks and Linguistic Theories, Mar 2022, Sofia, Bulgaria
hal-03614440v1  Directions of work or proceedings
Rakia JaziriArnaud MartinMarie-Christine RoussetLydia Boudjeloud-AssalaFabrice Guillet. Advances in Knowledge Discovery and Management, Volume 9
1004, Springer Internation Publishing 2022, 2022, Studies in Computational Intelligence, 9783030902865
...
tel-03612609v1  Habilitation à diriger des recherches
Romain Serizel. Contributions to speech processing and ambient sound analysis
Computer Science [cs]. Université de Lorraine, 2022
...
hal-03665888v1  Conference papers
Vincent DespréLoïc DuboisBenedikt KolbeMonique Teillaud. Experimental analysis of Delaunay flip algorithms on genus two hyperbolic surfaces
EuroCG 2022 - 38th European Workshop on Computational Geometry, Mar 2022, Perugia, Italy. pp.33:1--33:7
...
cea-03632811v1  Poster communications
Jacques ZhongVincent WeistrofferPauline MauriceClaude AndriotFrancis Colas. Interacting with a torque-controlled virtual human in virtual reality for ergonomics studies
IEEE VR 2022 - 29th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2022, Christchurch, New Zealand. 2022
...
hal-03541726v1  Conference papers
Samuel Vivien. Parallel integer multiplication
PDP 2022 - 30th Euromicron International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2022, Valladoid, Spain. ⟨10.1109/PDP55904.2022.00024⟩
...
hal-03547539v1  Conference papers
Yohannes BiadgligneKamel Smaïli. Offline Corpus Augmentation for English-Amharic Machine Translation
2022 The 5th International Conference on Information and Computer Technologies, Mar 2022, New York, United States
...
hal-03359505v2  Journal articles
Dominique Larchey-WendlingYannick Forster. Hilbert's Tenth Problem in Coq (Extended Version)
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩
...
hal-03537989v1  Book sections
Alain GélyMiguel CouceiroAmedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data
Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis
...
hal-03183755v2  Journal articles
Alexandre BazinMiguel CouceiroMarie-Dominique DevignesAmedeo Napoli. Steps Towards Causal Formal Concept Analysis
International Journal of Approximate Reasoning, Elsevier, 2022, 142, pp.338-348. ⟨10.1016/j.ijar.2021.12.007⟩
...
hal-03616853v1  Journal articles
Spandan DeyMd SahidullahGoutam Saha. An Overview of Indian Spoken Language Recognition from Machine Learning Perspective
ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩
...
hal-03595326v1  Conference papers
Aurélien DelageOlivier BuffetJilles Dibangoye. Max-Min Optimization for Lipschitz-Continuous Functions
ROADEF 2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. pp.1-2
hal-03574379v1  Journal articles
Étienne AndréDidier LimeOlivier Roux. Reachability and liveness in parametric timed automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:31)2022⟩
...
hal-03375918v2  Preprints, Working Papers, ...
Christophe Vuillot. Planar Floquet Codes
2022
...
hal-03367972v1  Conference papers
Youness MoukafihAbdelghani GhanemKarima AbidiNada SbihiMounir Ghogho et al.  SimSCL: A Simple fully-Supervised Contrastive Learning Framework for Text Representation
AJCAI 2021 - 34th Australasian Joint Conference on Artificial Intelligence, Feb 2022, Sydney, Australia
...
hal-03468834v1  Journal articles
Gilles BartheCharlie JacommeSteve Kremer. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
ACM Transactions on Computational Logic, Association for Computing Machinery, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩
...
hal-03466807v1  Conference papers
Guillaume AmbalSergueï LengletAlan Schmitt. Certified Abstract Machines for Skeletal Semantics
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
hal-03519235v1  Conference papers
Xiaodong JiaAndre KornellBert LindenhoviusMichael MisloveVladimir Zamdzhiev. Semantics for Variational Quantum Programming
POPL 2022 - 49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩