Skip to Main content Skip to Navigation

hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
hal-02316572v1  Conference papers
Adrien DufrauxEmmanuel VincentAwni HannunArmelle BrunMatthijs Douze. Lead2Gold: Towards exploiting the full potential of noisy transcriptions for speech recognition
ASRU 2019 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2019, Singapour, Singapore
hal-01537743v3  Conference papers
Nabile BoussaidMarco CaponigroThomas Chambrion. On the Ball-Marsden-Slemrod obstruction for bilinear control systems
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029511⟩
hal-02388234v1  Conference papers
Elena AndreevaVirginie LallemandAntoon PurnalReza ReyhanitabarArnab Roy et al.  Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages
ASIACRYPT 2019 - 25th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.153-182, ⟨10.1007/978-3-030-34621-8_6⟩
hal-02388349v1  Conference papers
Luca de FeoSimon MassonChristophe PetitAntonio Sanso. Verifiable Delay Functions from Supersingular Isogenies and Pairings
Advances in Cryptology - ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.248-277, ⟨10.1007/978-3-030-34578-5_10⟩
hal-02401684v1  Conference papers
Dimitri DelabroyeSimon DelamareDavid LoupLucas Nussbaum. Remplacer un routeur par un serveur Linux : retour d'expérience des passerelles d'accès à Grid'5000
JRES - Journées Réseaux de l'Enseignement et de la Recherche, Dec 2019, Dijon, France
hal-02267475v1  Conference papers
Bruno Guillaume. Graph Matching for Corpora Exploration
JLC 2019 - 10èmes Journées Internationales de la Linguistique de corpus, Nov 2019, Grenoble, France
hal-02333260v1  Conference papers
Sleimane HaririSylvain WeillJens GustedtIsabelle Charpentier. Pairing GIS and distributed hydrological models using Matlab 2
CAJG - 2nd Conference of the Arabian Journal of Geosiences, Nov 2019, Sousse, Tunisia
hal-02402950v1  Conference papers
Alexandru VulpeAli PaikanRazvan CraciunescuPouyan ZiafatiSofoklis Kyriazakos et al.  IoT Security Approaches in Social Robots for Ambient Assisted Living Scenarios
The 22nd International Symposium on Wireless Personal Multimedia Communications, Nov 2019, Lisbon, Portugal
hal-02413950v1  Conference papers
Abir Ismaili-AlaouiOuafae KasmiAmine BaïnaKarim BaïnaKhalid Benali et al.  Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture
SOCA 2019 - The 12th IEEE International Conference on Service Oriented Computing and Applications, Nov 2019, Kaohsiung, Taiwan
hal-02405752v1  Conference papers
Viviane LedouxGuillaume Moroz. Evaluation of Chebyshev polynomials on intervals and application to root finding
Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey
hal-02406758v1  Conference papers
Sény DiattaGuillaume MorozMarc Pouget. Reliable Computation of the Singularities of the Projection in R3 of a Generic Surface of R4
MACIS 2019 - Mathematical Aspects of Computer and Information Sciences, Nov 2019, Gebze-Istanbul, Turkey
hal-02269043v1  Conference papers
Vincent ChevalSteve KremerItsaka Rakotonirina. Exploiting Symmetries When Proving Equivalence Properties for Security Protocols
CCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
hal-02401738v1  Conference papers
Lucas Nussbaum. An overview of Fed4FIRE testbeds -- and beyond?
GEFI - Global Experimentation for Future Internet Workshop, Nov 2019, Coimbra, Portugal
hal-02418826v1  Conference papers
Karën Fort. Productions participatives de corpus annotés : des modèles encore incertains
Colloque Jeunes Chercheurs PRAXILING, Nov 2019, Montpellier, France
hal-02391973v1  Conference papers
Maria-Elisa Ruiz-EcharteaIsaure Chauvot de BeauchêneDavid Ritchie. EROS-DOCK for Pairwise and Multi-body Protein-Protein Docking
Journée MASIM2019 (Méthodes Algorithmiques pour les Structures et Interactions Macromoléculaires), Nov 2019, Paris, France
hal-02181962v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Pose Estimation with Semantic 3D Model
IROS 2019 - 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, Nov 2019, Macau, Macau SAR China. ⟨10.1109/IROS40897.2019.8968180⟩
hal-02944663v1  Conference papers
Sandra RasoamiaramananaGilles Macario-RatMarine Minier. White-Box Traitor-Tracing from Tardos Probabilistic Codes
SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩
hal-02400379v1  Conference papers
Dominique Méry. Verification by Construction of Distributed Algorithms
Theoretical Aspects of Computing - 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
hal-02348588v1  Conference papers
Pauline MauriceJernej CamernikDasa GorjanBenjamin SchirrmeisterJonas Bornmann et al.  Evaluation of PAEXO, a novel passive exoskeleton for overhead work
44ème Congrès de la Société de Biomécanique, Oct 2019, Poitiers, France
hal-02266200v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structures
DS 2019 - 22nd International Conference on Discovery Science, Oct 2019, Split, Croatia
hal-02984963v1  Conference papers
Manuel AtenciaJérôme DavidJérôme EuzenatAmedeo NapoliJérémy Vizzini. A guided walk into link key candidate extraction with relational concept analysis
ISWC 2019 : 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand
hal-02192794v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
hal-03122473v1  Conference papers
Lydia Boudjeloud-Assala. How to evaluate a subspace visual projection in interactive visual systems? A position paper
IEEE VIS 2019 - EVIVA-ML workshop on EValuation of Interactive VisuAl Machine Learning systems, Oct 2019, Vancouver, Canada
hal-02125985v2  Conference papers
Lauréline PerotinAlexandre DéfossezEmmanuel VincentRomain SerizelAlexandre Guérin. Regression versus classification for neural network based audio source localization
WASPAA 2019 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, IEEE, Oct 2019, New Paltz, United States
hal-02314238v1  Conference papers
M MenacerC González-GallardoK AbidiDominique FohrDenis Jouvet et al.  Extractive Text-Based Summarization of Arabic videos: Issues, Approaches and Evaluations
ICALP: International Conference on Arabic Language Processing, Oct 2019, Nancy, France. pp.65-78, ⟨10.1007/978-3-030-32959-4_5⟩
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
hal-02170784v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Relocalization with Ellipsoidal Abstraction of Objects
ISMAR 2019 - 18th IEEE International Symposium on Mixed and Augmented Reality, Oct 2019, Beijing, China. pp.19-29, ⟨10.1109/ISMAR.2019.00017⟩
hal-02403616v1  Conference papers
Benoît HenryShihabur ChowdhuryAbdelkader LahmadiRomain AzaïsJérôme François et al.  SPONGE: Software-Defined Traffic Engineering to Absorb Influx of Network Traffic
LCN 2019 - 44th IEEE Conference on Local Computer Networks, Oct 2019, Osnabrück, Germany
hal-02158862v2  Conference papers
Jean-Nicolas BrunetAndrea MendizabalAntoine PetitNicolas GolseEric Vibert et al.  Physics-based Deep Neural Network for Augmented Reality during Liver Surgery
MICCAI 2019 - 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2019, Shenzhen, China. pp.8, ⟨10.1007/978-3-030-32254-0_16⟩
hal-02418852v1  Conference papers
Karën Fort. La production participative (crowdsourcing ) : miroir grossissant sur l'annotation manuelle
Séminaire de l'équipe Inria ALMANACH, Oct 2019, Paris, France
hal-02501130v1  Conference papers
Michel Musiol. Improving the investigation of conversational discontinuities using the support of eye-tracking methods.
Workshop on Formal Approaches to (In)coherence and Dynamics in Dialogue, Oct 2019, Göteborg, Sweden
hal-02377051v1  Conference papers
Emmanuel Vincent. COMPRISE
META-FORUM 2019 - Cost-effective, Multilingual, Privacy-driven voice-enabled Services, Oct 2019, Bruxelles, Belgium
hal-02157484v2  Conference papers
Arthur CharguéraudJean-Christophe FilliâtreCláudio LourençoMário Pereira. GOSPEL -Providing OCaml with a Formal Specification Language
FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
lirmm-02309203v1  Conference papers
Jérémie DetreyLaurent Imbert. Breaking randomized mixed-radix scalar multiplication algorithms
LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Oct 2019, Santiago de Chile, Chile. pp.24-39, ⟨10.1007/978-3-030-30530-7_2⟩
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States
hal-02375011v1  Conference papers
Christelle DodaneDominique BoutetFabrice HirschSlim OuniAliyah Morgenstern. MODALISA une plateforme intégrative pour capturer l’orchestration des gestes et de la parole
Défi Instrumentation aux Limites, Colloque de restitution, CNRS, Sep 2019, Paris, France
hal-02269063v1  Conference papers
Sergiu BursucSteve Kremer. Contingent payments on a public ledger: models and reductions for automated verification
ESORICS 2019 - The 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg