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
  1. Search


...
inria-00329803v1  Conference papers
Florent Jacquemard, Michaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
...
hal-00563286v1  Conference papers
Frédéric Dadeau, Régis Tissot. Teaching Model-Based Testing with {L}eirios {T}est {G}enerator
FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
...
hal-00844039v1  Conference papers
Guillaume Saupin, Christian Duriez, Stéphane Cotin, Laurent Grisoni. Efficient Contact Modeling using Compliance Warping
computer graphics international, 2008, Istambul, Turkey
...
inria-00553519v1  Conference papers
Éric Villemonte de la Clergerie, Christelle Ayache, Gaël de Chalendar, Gil Francopoulo, Claire Gardent et al.  Large scale production of syntactic annotations for French
First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China
...
hal-00342323v1  Conference papers
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca. A Logical Account of PSPACE
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
...
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
...
lirmm-00287659v1  Conference papers
Serge Burckel, Emeric Gioan. In Situ Design of Register Operations
ISVLSI: IEEE Symposium on Very-Large-Scale Integration, LIRMM, Apr 2008, Montpellier, France. pp.451-454, ⟨10.1109/ISVLSI.2008.62⟩
...
inria-00332390v1  Conference papers
Jean-Yves Marion, Romain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
...
hal-00337371v1  Conference papers
Marilisa Amoia, Claire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
...
inria-00338062v1  Conference papers
Philippe Beaucamps. Extended Recursion-Based Formalization of Virus Mutation
EICAR'08, Jun 2008, Laval, France
...
inria-00288429v1  Conference papers
Yannick Parmentier, Laura Kallmeyer, Timm Lichte, Wolfgang Maier, Johannes Dellert. TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms
9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128
...
inria-00336233v1  Conference papers
Luciana Benotti. Accommodation through Tacit Sensing
Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82
...
inria-00202674v2  Conference papers
Emmanuel Hainry. Reachability in linear dynamical systems
Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩
...
hal-02149231v1  Conference papers
Christian Duriez, Hadrien Courtecuisse, Juan-Pablo de la Plata Alcalde, Pierre-Jean Bensoussan. Contact Skinning
Eurographics 2008 - Short Papers, Jun 2008, hersonissos, Greece
...
inria-00332389v1  Conference papers
Jean-Yves Marion, Romain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
...
hal-00563422v1  Conference papers
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Heam, Olga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations
RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. pp.48--62, ⟨10.1007/978-3-540-70590-1⟩
...
inria-00332484v1  Conference papers
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch. Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
...
inria-00336333v1  Conference papers
Bruno Guillaume, Joseph Le Roux, Jonathan Marchand, Guy Perrier, Karën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
...
hal-00337374v1  Conference papers
Claire Gardent. Integrating a unification-based semantics in a large scale Lexicalised Tree Adjoining Grammar for French
The 22nd International Conference on Computational Linguistics, Aug 2008, Manchester, United Kingdom. pp.249-257
...
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
...
inria-00304605v1  Conference papers
Laura Kallmeyer, Timm Lichte, Wolfgang Maier, Yannick Parmentier, Johannes Dellert et al.  TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._
...
inria-00326077v1  Conference papers
Humberto Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
...
hal-00563293v1  Conference papers
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Heam, Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata
2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩
...
inria-00336907v1  Conference papers
Jérémie Dequidt, Maud Marchal, Christian Duriez, Erwan Kerrien, Stéphane Cotin. Interactive Simulation of Embolization Coils: Modeling and Experimental Validation
Medical Imaging Computing and Computer Assisted Intervention -MICCAI'08, Sep 2008, New York City, United States. pp.695-702, ⟨10.1007/978-3-540-85988-8_83⟩
...
inria-00321550v1  Conference papers
Erwan Kerrien, Marie-Odile Berger, Jérémie Dequidt. Refining the 3D surface of blood vessels from a reduced set of 2D DSA images
AMI-ARCS 2008, PJ "Eddie" Edwards and Kensaku Mori and Tobias Sielhorst, Sep 2008, New York, NY, United States. pp.61-69
...
hal-00342366v1  Conference papers
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. Recursion Schemata for NCk
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
...
hal-00327081v1  Conference papers
Matthieu Geist, Olivier Pietquin, Gabriel Fricout. A Sparse Nonlinear Bayesian Online Kernel Regression
AdvComp 2008, Oct 2008, Valencia, Spain. pp.199-204, ⟨10.1109/ADVCOMP.2008.7⟩
...
inria-00330021v1  Conference papers
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Morphological Detection of Malware
International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States
...
inria-00376450v1  Conference papers
Francis Klay, Laurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
...
inria-00595323v1  Conference papers
Aboudramane Guiro, Abderrahman Iggidr, Diène Ngom, Hamidou Touré. A simple adaptive observer for a class of continuous linear time varying system with discrete output
CARI'2008, CARI, Oct 2008, Rabat, Morocco. pp.61-68
...
inria-00595397v1  Conference papers
Abderrahman Iggidr, Gauthier Sallet, Berge Tsanou. Metapopulation SIS epidemic model
9th African Conference on Research in Computer Science - CARI'2008, CARI, Oct 2008, Rabat, Morocco. pp.51-59
...
inria-00332550v1  Conference papers
Jean-Yves Marion, Romain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
...
hal-02238974v1  Conference papers
Paul Baksic, Hadrien Courtecuisse, Matthieu Chabanas, Bernard Bayle. FEM-based confidence assessment of non-rigid registration
Surgetica 2019, 2019, Rennes, France
...
hal-02066930v1  Conference papers
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
...
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
...
hal-02405550v1  Conference papers
Alberto Fiori, Christoph Weidenbach. SCL: Clause Learning from Simple Models
27th International Conference on Automated Deduction, 2019, Natal, Brazil. pp.233-249, ⟨10.1007/978-3-030-29436-6_14⟩
...
hal-02084619v1  Conference papers
Eloïse Dalin, Pierre Desreumaux, Jean-Baptiste Mouret. Learning and adapting quadruped gaits with the "Intelligent Trial & Error" algorithm
IEEE ICRA Workshop on "Learning legged locomotion", 2019, Montreal, Canada
...
hal-02406605v1  Conference papers
Andreas Teucke, Marco Voigt, Christoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
...
hal-02025720v1  Conference papers
Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel. Completeness of Graphical Languages for Mixed States Quantum Mechanics
ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
...
hal-01937136v1  Conference papers
Jasmin Christian Blanchette. Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk)
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294087⟩
...
hal-01937141v1  Conference papers
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
...
hal-02354731v1  Conference papers
Clémence Karmann, Anne Gégout-Petit, Aurélie Muller. Penalized ordinal logistic regression using cumulative logits
Journée scientifique FCH : "Méthodes et modèles pour comprendre les réseaux biologiques", Jan 2019, Nancy, France
...
hal-02059558v1  Conference papers
Salwa Kobeissi, Philippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
...
hal-02388730v1  Conference papers
Stephen Pfohl, Ben Marafino, Adrien Coulet, Fatima Rodriguez, Latha Palaniappan et al.  Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk
AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩
...
hal-01987946v1  Conference papers
Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre et al.  Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
...
hal-02046105v1  Conference papers
Jens Gustedt, Maxime Mogé. Memory access classification for vertical task parallelism
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
...
hal-02072737v1  Conference papers
Maxime Schmitt, Philippe Helluy, Cédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
...
hal-02050846v1  Conference papers
Daryna Panicheva, Pierre-Frédéric Villard, Marie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
...
hal-01973285v2  Conference papers
Umut Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey. Provably and Practically Efficient Granularity Control
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
...
hal-02063304v1  Conference papers
Sofiane Lagraa, Maxime Cailac, Sean Rivera, Frédéric Beck, Radu State. Real-time attack detection on robot cameras: A self-driving car application
IEEE IRC 2019 - Third IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
...
hal-02050190v1  Conference papers
Bérenger Bramas. SPETABARU: A Task-based Runtime System with Speculative Execution Capability
SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
...
hal-02394144v1  Conference papers
Olivier Devillers, Charles Duménil. A Poisson sample of a smooth surface is a good sample
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-02940717v1  Conference papers
Matthijs Ebbens, Iordan Iordanov, Monique Teillaud, Gert Vegter. Delaunay triangulations of symmetric hyperbolic surfaces
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-02294028v1  Conference papers
George Krait, Sylvain Lazard, Guillaume Moroz, Marc Pouget. Numerical Algorithm for the Topology of Singular Plane Curves
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-01985178v1  Conference papers
Radu Ranta, Steven Le Cam, Gundars Bergmanis-Korats, Sébastien Rimbert, Laurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
9th International IEEE EMBS Conference on Neural Engineering, NER 2019, Mar 2019, San Francisco, United States
...
hal-01988419v1  Conference papers
Ajay Eeralla, Serdar Erbatur, Andrew Marshall, Christophe Ringeissen. Rule-Based Unification in Combined Theories and the Finite Variant Property
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩
...
hal-02162927v2  Conference papers
Tatiana Makhalova, Sergei Kuznetsov, Amedeo Napoli. Numerical Pattern Mining Through Compression
DCC 2019 - 2019 Data Compression Conference, Mar 2019, Snowbird, United States. pp.112-121, ⟨10.1109/DCC.2019.00019⟩
...
hal-02393039v1  Conference papers
Antoine Moniot, Sjoerd de Vries, Dave Ritchie, Isaure Chauvot de Beauchêne. NAfragDB: A Multi-Purpose Structural Database of Nucleic-Acid/Protein Complexes for Advances Users
21e congrès du Groupe de graphisme et modélisation moléculaire (GGMM), Apr 2019, Nice, France
...
hal-02394484v1  Conference papers
Maria-Elisa Ruiz-Echartea, Isaure Chauvot de Beauchêne, David Ritchie. EROS-DOCK and EROS-DOCK MULTI-BODY Approach
CAPRI evaluation meeting, Apr 2019, Hinxton, United Kingdom
...
hal-02178274v1  Conference papers
Petar Vukmirović, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz. Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.192-210
...
hal-02499318v1  Conference papers
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux. Tiered complexity at higher order
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
...
hal-02381430v1  Conference papers
Jasmin Blanchette, Daniel Ouraoui, Pascal Fontaine, Cezary Kaliszyk. Machine Learning for Instance Selection in SMT Solving
AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
...
hal-02381819v1  Conference papers
Haniel Barbosa, Jasmin Blanchette, Mathias Fleury, Pascal Fontaine, Hans-Jörg Schurr. Better SMT Proofs for Easier Reconstruction
AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
...
hal-02345491v1  Conference papers
Laurent Evrard, Jérôme François, Jean-Noël Colin, Frédéric Beck. port2dist: Semantic Port Distances for Network Analytics
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management - Demo session, Apr 2019, Washington DC, United States
...
hal-02111656v1  Conference papers
Nicolas Schnepf, Rémi Badonnel, Abdelkader Lahmadi, Stephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02111658v1  Conference papers
Nicolas Schnepf, Rémi Badonnel, Abdelkader Lahmadi, Stephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-01925653v2  Conference papers
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger. Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
TACAS 2019 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17465-1_20⟩
...
hal-02345457v1  Conference papers
Laurent Evrard, Jérôme François, Jean-Noël Colin. Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02389307v1  Conference papers
Mingxiao Ma, Abdelkader Lahmadi, Isabelle Chrisment. Demonstration of Synchronization Attacks on Distributed and Cooperative Control in Microgrids
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02331783v1  Conference papers
Pierre-Marie Junges, Jérôme François, Olivier Festor. Passive Inference of User Actions through IoT Gateway Encrypted Traffic Analysis
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02177496v1  Conference papers
Imene Zangar, Zied Mnasri, Vincent Colotte, Denis Jouvet. F0 modeling using DNN for Arabic parametric speech synthesis
INNSBDDL 2019 - INNS Big Data and Deep Learning, Apr 2019, Sestri Levante, Italy
...
hal-02504017v1  Conference papers
Abir Ismaili-Alaoui, Karim Baïna, Khalid Benali. Harnessing the power of data and event data for Business Process Improvement
CAISAM 2019 - Complexity Analysis of Industrial Systems and Advanced Modeling, Apr 2019, Ben Guerir, Morocco
...
hal-02185694v1  Conference papers
Amine Boumaza. Introducing Weighted Intermediate Recombination in On-line Collective Robotics, the (µ/µ W , 1)-On-line EEA
Applications of Evolutionary Computation, Apr 2019, Leipzig, Germany
...
hal-02078301v1  Conference papers
Abdulqawi Saif, Alexandre Merlin, Olivier Dautricourt, Maël Houbre, Lucas Nussbaum et al.  Emulation of Storage Performance in Testbed Experiments with Distem
CNERT 2019 - IEEE INFOCOM International Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France. pp.6
...
hal-02280866v1  Conference papers
Béatrice Linot, Jérôme Dinet, François Charoy, Valerie Shalin. Trust in computer-supported crisis management communication : toward a new model
InPACT 2019 - International Psychological Applications Conference and Trends, World Institute for Advanced Research and Science (W.I.A.R.S.), May 2019, Porto, Portugal. pp.440-444
...
hal-02010199v2  Conference papers
Dayana Ribas, Emmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02051701v1  Conference papers
Tomi Kinnunen, Rosa Hautamäki, Ville Vestman, Md Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02025824v1  Conference papers
Nicolas Turpault, Romain Serizel, Emmanuel Vincent. Semi-supervised triplet loss based learning of ambient audio embeddings
ICASSP 2019, May 2019, Brighton, United Kingdom
...
hal-02160940v1  Conference papers
Diego Di Carlo, Antoine Deleforge, Nancy Bertin. Mirage: 2D Source Localization Using Microphone Pair Augmentation with Echoes
ICASSP 2019 - IEEE International Conference on Acoustic, Speech Signal Processing, May 2019, Brighton, United Kingdom. pp.775-779, ⟨10.1109/ICASSP.2019.8683534⟩
...
hal-02353415v1  Conference papers
Axel Modave, Xavier Antoine, Christophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
CSMA 2019 - 14e Colloque National en Calcul des Structures, May 2019, Giens (Var), France
...
hal-02403717v1  Conference papers
Wazen Shbair, Mathis Steichen, Jérôme François, Radu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩
...
hal-02177945v1  Conference papers
Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet. Layer adaptation for transfer of expressivity in speech synthesis
LTC'19 - 9th Language & Technology Conference, May 2019, Poznan, Poland
...
hal-02381750v1  Conference papers
Paul Godard, Vincent Loechner, Cédric Bastoul, Frederic Soulier, Guillaume Muller. A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
...
hal-02190089v1  Conference papers
Miguel Couceiro, Lucien Haddad, Victor Lagerkvist. Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey (Dedicated to the memory of Professor Ivo Rosenberg)
ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019, Fredericton, NB, Canada
...
hal-02190088v1  Conference papers
Miguel Couceiro, Lucien Haddad, Maurice Pouzet. The mathematics of Ivo Rosenberg (Dedicated to the memory of Professor Ivo Rosenberg)
ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019, Fredericton, NB, Canada. pp.43-48
...
hal-02059088v1  Conference papers
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment. Testing Nearby Peer-to-Peer Mobile Apps at Large
MOBILESoft 2019 - 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
...
hal-02119414v2  Conference papers
Jean-Nicolas Brunet, Vincent Magnoux, Benoît Ozell, Stéphane Cotin. Corotated meshless implicit dynamics for deformable bodies
WSCG 2019 - 27th International Conference on Computer Graphics, Visualization and Computer Vision, May 2019, Pilsen, Czech Republic. ⟨10.24132/CSRN.2019.2901.1.11⟩
...
hal-02106010v1  Conference papers
Mohamed Menacer, David Langlois, Denis Jouvet, Dominique Fohr, Odile Mella et al.  Machine Translation on a parallel Code-Switched Corpus
Canadian AI 2019 - 32nd Conference on Canadian Artificial Intelligence, May 2019, Ontario, Canada
...
hal-02155546v1  Conference papers
Pierre Monnin, Chedy Raïssi, Amedeo Napoli, Adrien Coulet. Knowledge Reconciliation with Graph Convolutional Networks: Preliminary Results
DL4KG2019 - Workshop on Deep Learning for Knowledge Graphs, Jun 2019, Portoroz, Slovenia
...
hal-02114652v2  Conference papers
Romain Serizel, Nicolas Turpault. Sound Event Detection from Partially Annotated Data: Trends and Challenges
IcETRAN conference, Jun 2019, Srebrno Jezero, Serbia
...
hal-02186325v1  Conference papers
Pierre Lermusiaux, Horatiu Cirstea, Pierre-Etienne Moreau. Pattern eliminating transformations
CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
...
hal-02396520v1  Conference papers
Jeanne Deleforterie, Yael Kolasa, Levy Batista, Julie Hutin, Thierry Bastogne. Quality-by-Design for the safe development of medical devices containing nanomaterials. A study case in photodynamic therapy
NanoMed Europe, NME 2019, Jun 2019, Braga, Portugal
...
hal-02632035v1  Conference papers
Jeanne Deleforterie, Thierry Bastogne. Protein corona characterization through analytical quality-by-design
8èmes Rencontres Annuelles en Nanométrologie, Jun 2019, Paris, France
...
hal-02099434v1  Conference papers
Sergiu Bursuc, Constantin-Catalin Dragan, Steve Kremer. Private votes on untrusted platforms: models, attacks and provable scheme
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
...
hal-02396540v1  Conference papers
Valentine Roulette, Guillaume Delplanque, Jeanne Deleforterie, Thierry Bastogne. A contribution in nanoinformatics to facilitate the collection of structured data for Quality-by-Design in nanomedicine
NanoMed Europe, NME 2019, Jun 2019, Braga, Portugal
...
hal-02303491v3  Conference papers
Victor Michel-Dansac, Andrea Thomann. On high-precision L∞-stable IMEX schemes for scalar hyperbolic multi-scale equations
Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, Jun 2019, Málaga, Spain. ⟨10.1007/978-3-030-72850-2_4⟩
...
hal-02368857v1  Conference papers
Lucca Hirschi, Cas Cremers. Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
...
hal-02121311v1  Conference papers
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment. FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps
DAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
...
hal-02271520v1  Conference papers
Maxime Compastié, Rémi Badonnel, Olivier Festor, Ruan He. A TOSCA-Oriented Software-Defined Security Approach for Unikernel-Based Protected Clouds
NetSoft 2019 - IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.151-159, ⟨10.1109/NETSOFT.2019.8806623⟩
...
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/