 |
 |
 |
|
|
||
|---|---|---|
| hal-02921643v1
Conference papers
Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia |
||
| hal-02547097v1
Conference papers
Double Mask: An efficient rule encoding for Software Defined Networking ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193 |
||
| hal-03036350v1
Conference papers
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-02463336v2
Conference papers
Competing inheritance paths in dependent type theory: a case study in functional analysis IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19 |
||
| hal-03143502v1
Conference papers
An Extension of PlusCal for Modeling Distributed Algorithms TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany |
||
| hal-02974993v1
Conference papers
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-02983256v1
Conference papers
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification International Conference on Cryptology in India, Dec 2020, Bangalore, India |
||
| hal-02864059v5
Conference papers
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-02410221v1
Conference papers
Sélection de mesures de similarité pour les données catégorielles EGC 2020 - 20ème édition de la conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique |
||
| hal-02619239v1
Conference papers
A French Version of the FraCaS Test Suite LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9 |
||
| hal-02784752v4
Conference papers
Investigation par méthodes d'apprentissage des spécificités langagières propres aux personnes avec schizophrénie 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles, Jun 2020, Nancy, France. pp.12-26 |
||
| hal-02768513v4
Conference papers
Projet AMIS : résumé et traduction automatique de vidéos 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux, Jun 2020, Nancy, France. pp.53-56 |
||
| hal-02985412v2
Conference papers
Scissored pair control moment gyroscope inverted pendulum 14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia |
||
| hal-02920320v1
Conference papers
Deep Learning Techniques to Improve Intraoperative Awareness Detection from Electroencephalographic Signals IEEE Engineering in Medicine and Biology Society 2020, Jul 2020, Montreal, Canada |
||
| hal-03076311v1
Conference papers
Lexical selection, coercion, and record types LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan |
||
| hal-02798511v3
Conference papers
Reconnaissance automatique de la parole : génération des prononciations non natives pour l'enrichissement du lexique 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, 2020, Nancy, France. pp.27-35 |
||
| hal-03122343v1
Conference papers
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-03120781v1
Conference papers
On Higher-Order Cryptography ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩ |
||
| hal-02456533v1
Conference papers
Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy |
||
| hal-02961583v1
Conference papers
Universal equivalence and majority of probabilistic programs over finite fields ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩ |
||
| hal-03045556v1
Conference papers
Mean Absorption Coefficient Estimation From Impulse Responses: Deep Learning vs. Sabine E-FA 2020 - Forum Acusticum 2020, Dec 2020, Lyon / Virtual, France. pp.2, ⟨10.48465/fa.2020.0785⟩ |
||
| hal-02909383v2
Conference papers
Explaining Multicriteria Decision Making with Formal Concept Analysis Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia |
||
| hal-02962845v1
Conference papers
Implementing SFA Support on an Established HPC-flavored Testbed: Lessons Learned CNERT 2020 - Computer and Networking Experimental Research using Testbeds, in conjunction with IEEE INFOCOM 2020, Jul 2020, Toronto, Canada. pp.1-6 |
||
| hal-02979233v1
Conference papers
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-02985282v1
Conference papers
Global parametrization based on Ginzburg-Landau functional NUMGRID 2020 — Numerical Geometry, Grid Generation and Scientific Computing, Nov 2020, Moscow/Virtual, Russia |
||
| hal-02992599v1
Conference papers
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-03122451v1
Conference papers
Biclustering itératif par une approche évolutionnaire EGC 2020 Extraction et Gestion des Connaissances, Jan 2020, Brussels, Belgique |
||
| hal-03134114v1
Conference papers
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-02912877v1
Conference papers
Termination of graph rewriting systems through language theory ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France |
||
| hal-02930715v1
Conference papers
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
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-02479502v1
Conference papers
Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany |
||
| hal-02555231v1
Conference papers
Learning behaviour-performance maps with meta-evolution GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico |
||
| hal-02863525v2
Conference papers
Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment Advances in Cryptology – CRYPTO 2020, Aug 2020, Santa Barbara CA, United States. pp.62-91, ⟨10.1007/978-3-030-56880-1_3⟩ |
||
| hal-03032578v1
Conference papers
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-03024433v1
Conference papers
An original MRI-based method to quantify the diffuse low-grade glioma brain infiltration 10th International Conference on Image Processing Theory, Tools and Applications, IPTA’20, Nov 2020, Paris, France |
||
| hal-03081320v1
Conference papers
Sur le principe d'optimalité de Bellman pour les zs-POSG JFPDA 2020 - Journées Francophones surla Planification, la Décision et l’Apprentissagepour la conduite de systèmes, Jun 2020, Angers (virtuel), France. pp.1-3 |
||
| hal-02463940v1
Conference papers
PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France |
||
| hal-02298815v3
Conference papers
Descriptive complexity on non-Polish spaces STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩ |
||
| hal-02914177v1
Conference papers
A recipe for quantum graphical languages ICALP 2020, 2020, Saarbrücken, Germany |
||
| hal-02995862v2
Conference papers
A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States |
||
| hal-02961617v1
Conference papers
The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States |
||
| hal-02476012v3
Conference papers
Pattern eliminating transformations LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy |
||
| hal-02997277v1
Conference papers
Generating Distributed Programs from Event-B Models International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩ |
||
| hal-02929291v1
Conference papers
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. pp.24:1-24:14, ⟨10.4230/LIPIcs.MFCS.2020.24⟩ |
||
| hal-02992607v1
Conference papers
Ajustement de surfaces paramétriques sur nuages de points Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France |
||
| hal-02913866v1
Conference papers
Oracle simulation: a technique for protocol composition with long term shared secrets ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444 |
||
| hal-02962911v1
Conference papers
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-02908241v2
Conference papers
Detecting and counting overlapping speakers in distant speech scenarios INTERSPEECH 2020, Oct 2020, Shanghai, China |
||
| hal-02962907v1
Conference papers
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 |
||
|
|
||
