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-02568428v1  Conference papers
Yaël KolasaThierry BastogneJean-Philippe GeorgesSylvain Kubler. Quality-by-design-engineered pBFT consensus configuration for medical device development
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montreal, Canada
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-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
hal-03142461v1  Directions of work or proceedings
James Harold DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-02977488v1  Book sections
Hamid RahkooyThomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
hal-02983073v1  Journal articles
Dobrina BoltchevaJustine BasselinClément PoullHerve BarthelemyDmitry Sokolov. Topological-based roof modeling from 3D point clouds
Journal of WSCG, University of West Bohemia, Czech Republic, 2020, 28 (1-2), pp.137-146. ⟨10.24132/JWSCG.2020.28.17⟩
hal-02964141v1  Conference papers
Yves LepageJean LieberIsabelle MornardEmmanuel NauerJulien Romary et al.  The French Correction: When Retrieval is Harder to Specify than Adaptation
ICCBR 2020 - 28th International Conference on Case-Based Reasoning, Jun 2020, Salamanca / Virtual, Spain. pp.15, ⟨10.1007/978-3-030-58342-2_20⟩
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-02965137v1  Book sections
Fabien PierreJf Aujol. Recent Approaches for Image Colorization
Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging, In press, ⟨10.1007/978-3-030-03009-4_55-1⟩
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
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-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-03021720v1  Conference papers
Gaël GuibonMarine CourtinKim GerdesBruno Guillaume. When Collaborative Treebank Curation Meets Graph Grammars
LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
hal-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
hal-02895528v1  Reports
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
hal-03080154v1  Conference papers
Jonathan Ferrer-MestresThomas DietterichOlivier BuffetIadine Chadès. Solving $K$-MDPs
ICAPS 2020 - International Conference on Automated Planning and Scheduling, Oct 2020, Nancy (virtuel), France
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-02526724v2  Conference papers
Matthieu NicolasGérald OsterOlivier Perrin. Efficient Renaming in Sequence CRDTs
PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece
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-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-02389159v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
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-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-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
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-02530879v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. Towards Non-Toxic Landscapes: Automatic Toxic Comment Detection Using DNN
TRAC-2020, Second Workshop on Trolling, Aggression and Cyberbullying (LREC, 2020), May 2020, Marseille, France
hal-01982232v1  Journal articles
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Unsupervised Extra Trees: a stochastic approach to compute similarities in heterogeneous data.
International Journal of Data Science and Analytics, Springer Verlag, 2020, Advances in Intelligent Data Analysis - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Lecture Notes in Computer Science (12080), pp.132-144. ⟨10.1007/s41060-020-00214-4⟩
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-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-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-02555202v1  Conference papers
Jean-Baptiste MouretGlenn Maguire. Quality Diversity for Multi-task Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390203⟩
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⟩