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-01518764v1  Conference papers
Jean-Baptiste MouretKonstantinos Chatzilygeroudis. 20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany. ⟨10.1145/3067695.3082052⟩
...
hal-01654279v1  Conference papers
V AvrutovP AksonenkoPatrick HenaffLaurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
hal-01648694v1  Conference papers
Russell BradfordJames DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
...
inria-00332390v1  Conference papers
Jean-Yves MarionRomain 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-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
...
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-01518814v1  Conference papers
Vassilis VassiliadesKonstantinos ChatzilygeroudisJean-Baptiste Mouret. A comparison of illumination algorithms in unbounded spaces
Workshop "Measuring and Promoting Diversity in Evolutionary Algorithms", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany
...
hal-01669454v1  Conference papers
Pauline GuyotPascal VoiriotStéphane PapelierLevy BatistaThierry Bastogne. A comparison of methods for delineation of wave boundaries in 12 Lead ECG
Safety Pharmacology Society 2017 Annual Meeting, SPS 2017, Sep 2017, Berlin, Germany
hal-01653557v1  Conference papers
Sansom AbramskiRui Soares BarbosaGiovanni CarùSimon Perdrix. A complete characterisation of All-versus-Nothing arguments for stabiliser states
14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands
...
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
...
hal-01670012v1  Conference papers
Levy BatistaThierry BastogneFranck AtienzarAnnie DelaunoisJean-Pierre Valentin. A data-driven modeling method to analyze cardiomyocyte impedance data
Safety Pharmacology Society 2017 Annual Meeting, SPS 2017, Sep 2017, Berlin, Germany
...
hal-01580733v1  Conference papers
Antoine LiutkusKazuyoshi Yoshii. A diagonal plus low-rank covariance model for computationally efficient source separation
IEEE international workshop on machine learning for signal processing (MLSP), Sep 2017, Tokyo, Japan
...
hal-01590675v2  Conference papers
Wissem InoubliLivia AlmadaTiciana L. Coelho da SilvaGustavo CoutinhoLucas Peres et al.  A Distributed Framework for Large-Scale Time-Dependent Graph Analysis
ECML PKDD 2017 - TD-LSG 2017 : workshop Advances in Mining Large-Scale Time Dependent Graphs, Sep 2017, Skopje, Macedonia. pp.6
hal-01529837v1  Conference papers
Florian GreffYe-Qiong SongLaurent CiarlettaArnaud Samama. A Dynamic Flow Allocation Method for the Design of a Software-Defined Real-Time Mesh Network
WFCS 2017 - 13th IEEE International Workshop on Factory Communication Systems, May 2017, Trondheim, Norway. ⟨10.1109/WFCS.2017.7991949⟩
...
hal-02194229v1  Conference papers
Abdelkader OualiNyoman JuniartaBernard MaigretAmedeo Napoli. A Feature Selection Method based on Tree Decomposition of Correlation Graph
LEG@ECML-PKDD 2019 - The third International Workshop on Advances in Managing and Mining Large Evolving Graphs, Sep 2019, Würzburg, Germany
...
hal-01592172v1  Conference papers
Marco Voigt. A fine-grained hierarchy of hard problems in the separated fragment
LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1 - 12, ⟨10.1109/LICS.2017.8005094⟩
...
hal-02381750v1  Conference papers
Paul GodardVincent LoechnerCédric BastoulFrederic SoulierGuillaume 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-01655817v1  Conference papers
Maxime Amblard. A Formal Account of Disorders in Dialogues
Seminar of the Centre for Linguistic Theory and Studies in Probability, Nov 2017, University of Gothenburg, Sweden
hal-01495807v1  Conference papers
Faten FakhfakhMohamed TounsiMohamed MosbahAhmed Hadj KacemDominique Méry. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩
...
hal-01677620v1  Conference papers
Ehtesham ZahoorZubaria AsmaOlivier Perrin. A Formal Approach for the Verification of AWS IAM Access Control Policies
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.59-74, ⟨10.1007/978-3-319-67262-5_5⟩
...
hal-01599172v1  Conference papers
Alexander BentkampJasmin Christian BlanchetteDietrich Klakow. A Formal Proof of the Expressiveness of Deep Learning
ITP 2017: 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨10.1007/3-540-48256-3_12⟩
...
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
...
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-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. pp.1-9
...
hal-01591161v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre. A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Aug 2017, Prague, Czech Republic. pp.337-344, ⟨10.1109/FiCloud.2017.30⟩
...
hal-01376934v2  Conference papers
Joshua FriedPierrick GaudryNadia HeningerEmmanuel Thomé. A kilobit hidden SNFS discrete logarithm computation
Advances in Cryptology – EUROCRYPT 2017, Apr 2017, Paris, France. pp.202-231, ⟨10.1007/978-3-319-56620-7_8⟩
...
hal-01592189v1  Conference papers
Jasmin BlanchetteUwe WaldmannDaniel Wand. A Lambda-Free Higher-Order Recursive Path Order
Foundations of Software Science and Computation Structures, 20th International Conference (FOSSACS 2017), Apr 2017, Uppsala, Sweden. pp.461-479, ⟨10.1007/978-3-662-54458-7_27⟩
...
hal-00342323v1  Conference papers
Marco GaboardiJean-Yves MarionSimona 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-00275221v1  Conference papers
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. A Mediator Based Approach For Services Composition
International Conference on Software Engineering Research, Management and Applications (SERA'08), Aug 2008, Prague, Czech Republic
...
hal-01620023v1  Conference papers
Amina Ahmed NacerClaude GodartSamir YoucefAbdelkamel Tari. A Metric for Evaluating the Privacy Level of a Business Process Logic in a Multi-Cloud Deployment
IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC), Oct 2017, Quebec, Canada
inria-00332320v1  Conference papers
Randa KassabJean-Charles Lamirel. A Multi-level Abstraction Model for Competitive Learning Neural Networks
Artificial Intelligence and Applications - AIA 2008, Feb 2008, Innsbruck, Austria, Austria. pp.97-103
...
hal-01515951v1  Conference papers
Fatemeh PishdadianBryan PardoAntoine Liutkus. A multi-resolution approach to common fate-based audio separation
42nd International Conference on Acoustics, Speech and Signal Processing (ICASSP), Mar 2017, New Orleans, United States
...
hal-02167756v1  Conference papers
Ioannis DourosJacques FelblingerJens FrahmKaryna IsaievaArun Joseph et al.  A Multimodal Real-Time MRI Articulatory Corpus of French for Speech Research
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
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⟩
...
hal-01687727v1  Conference papers
Nicolas BouzatFabien RozarGuillaume LatuJean Roman. A New Parallelization Scheme for the Hermite Interpolation Based Gyroaverage Operator
ISPDC 2017 - 16th International Symposium on Parallel and Distributed Computing, Jul 2017, Innsbruck, Austria. pp.1-8, ⟨10.1109/ISPDC.2017.12⟩
inria-00595309v1  Conference papers
Aboudramane GuiroAbderrahman IggidrDiène NgomHamidou Touré. A non Linear Observer for a fishery model
the 17th Triennal IFAC World Congress, IFAC, Jul 2008, Seoul, South Korea. pp.676--681, ⟨10.3182/20080706-5-KR-1001.00114⟩
hal-01257272v1  Conference papers
Louis-Noël PouchetCédric BastoulJohn CavazosAlbert Cohen. A Note on the Performance Distribution of Affine Schedules
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden
inria-00598801v1  Conference papers
Vipul JainLyes Benyoucef. A novel approach to model and evaluate dynamic agility in supply chains
Tenth International Conference on Enterprise Information Systems - ICEIS 2008, Jun 2008, Barcelone, Spain. pp.93-100
hal-03270271v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel framework for the numerical simulation of Bose–Einstein condensates
International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria
...
hal-02394144v1  Conference papers
Olivier DevillersCharles 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-01667437v1  Conference papers
Justine ReynaudMehwish AlamYannick ToussaintAmedeo Napoli. A Proposal for Classifying the Content of the Web of Data Based on FCA and Pattern Structures
ISMIS 2017 - 23rd International Symposium on Methodologies for Intelligent Systems, Jun 2017, Warsaw, Poland
...
hal-01549107v1  Conference papers
Victor CodocedoGuillaume BoscMehdi KaytoueJean-François BoulicautAmedeo Napoli. A Proposition for Sequence Mining Using Pattern Structures
ICFCA 2017 - 14th International Conference on Formal Concept Analysis, Peggy Cellier and Sébastien Ferré, Jun 2017, Rennes, France. pp.106-121, ⟨10.1007/978-3-319-59271-8_7⟩
...
hal-01649172v1  Conference papers
Yann BarsamianArthur CharguéraudAlain Ketterlin. A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics, Sep 2017, Lublin, Poland. pp.1-12
...
hal-01661651v1  Conference papers
Olivier BruneauEmmanuelle GaillardNicolas LasolleJean LieberEmmanuel Nauer et al.  A SPARQL Query Transformation Rule Language — Application to Retrieval and Adaptation in Case-Based Reasoning
ICCBR 2017 - Case-Based Reasoning Research and Development, 25th International Conference on Case-Based Reasoning, Jun 2017, Trondheim, Norway
...
hal-02116165v2  Conference papers
Manuel ParienteAntoine DeleforgeEmmanuel Vincent. A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-02162929v2  Conference papers
Tatiana MakhalovaMartin Trnecka. A Study of Boolean Matrix Factorization Under Supervised Settings
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.341-348, ⟨10.1007/978-3-030-21462-3_24⟩
inria-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
...
hal-02269609v1  Conference papers
Maxime AmblardMaria BoritchevMarta CarlettiLea DieudonatYiting Tsai. A Taxonomy of Real-Life Questions and Answers in Dialogue
SemDial 2019 - LondonLogue - 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
...
hal-00337371v1  Conference papers
Marilisa AmoiaClaire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
hal-02273741v1  Conference papers
Matthieu GeistBruno ScherrerOlivier Pietquin. A Theory of Regularized Markov Decision Processes
ICML 2019 - Thirty-sixth International Conference on Machine Learning, Jun 2019, Long Island, United States
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan 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
...
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
...
hal-02418029v1  Conference papers
William Babonnaud. A Topos-Based Approach to Building Language Ontologies
Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩
...
hal-02271520v1  Conference papers
Maxime CompastiéRémi BadonnelOlivier FestorRuan 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-01592186v1  Conference papers
Heiko BeckerJasmin BlanchetteUwe WaldmannDaniel Wand. A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms
CADE-26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.432-453, ⟨10.1007/978-3-319-63046-5_27⟩
hal-01580996v1  Conference papers
Thierry GallouëtPhilippe HelluyJean-Marc HérardJulien Nussbaum. A two-fluid model for dense granular flows
Finite Volumes for Complex Applications V, Jun 2008, Aussois, France. pp.439-446
...
hal-01626109v1  Conference papers
Véronique CortierNiklas GrimmJoseph LallemandMatteo Maffei. A Type System for Privacy Properties
CCS'17 - 24th ACM Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.409 - 423
...
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-01684569v1  Conference papers
Loïc RouchJérôme FrançoisFrédéric BeckAbdelkader Lahmadi. A Universal Controller to Take Over a Z-Wave Network
Black Hat Europe 2017, Dec 2017, London, United Kingdom. pp.1-9
inria-00329966v1  Conference papers
Frédéric DadeauJulien LamboleyThierry MoutetMarie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B security Models
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.237-250, ⟨10.1007/978-3-540-87603-8⟩
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy 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-01592164v1  Conference papers
Jasmin BlanchetteMathias FleuryChristoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IJCAI 2017 - 26th International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.4786-4790, ⟨10.24963/ijcai.2017/667⟩
...
hal-01649057v1  Conference papers
Denis JouvetDavid LangloisMohamed Amine MenacerDominique FohrOdile Mella et al.  About vocabulary adaptation for automatic speech recognition of video data
ICNLSSP'2017 - International Conference on Natural Language, Signal and Speech Processing, Dec 2017, Casablanca, Morocco. pp.1-5
...
hal-01583962v3  Conference papers
Sylvain Pogodalla. Abstract Categorial Grammars as a Model of the Syntax-Semantics Interface for TAG
FSMNLP 2017 and TAG+13 conference, Sep 2017, Umeå, Sweden
...
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
...
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
...
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
hal-01639515v1  Conference papers
Anne Bonneau. Acoustic correlates of L2 prosodic boundaries by German learners of French
SLaP3 2017 - 3rd Workshop on Second Language Prosody, Nov 2017, Bangor United Kingdom. pp.1
...
hal-02180617v1  Conference papers
Ioannis DourosYves LapriePierre-André VuissozBenjamin Elie. Acoustic Evaluation of Simplifying Hypotheses Used in Articulatory Synthesis
ICA 2019 - 23rd International Congress on Acoustics, Sep 2019, Aachen, Germany
...
hal-02180566v1  Conference papers
Ioannis DourosPierre-André VuissozYves Laprie. Acoustic impacts of geometric approximation at the level of velum and epiglottis on French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
inria-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichaël Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
hal-01667183v1  Conference papers
Emmanuelle GaillardJean LieberEmmanuel Nauer. Adaptation of TAAABLE to the CCC'2017 Mixology and Salad Challenges, Adaptation of the Cocktail Names
International Conference on Case-Based Reasoning (ICCBR) Computer Cooking Contest Workshop, Jun 2017, Trondheim, Norway. pp.253-268
...
hal-01655459v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications
HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India. pp.1-10
...
hal-01569390v2  Conference papers
Kazuya OtaniKarim Bouyarmane. Adaptive Whole-Body Manipulation in Human-to-Humanoid Multi-Contact Motion Retargeting
HUMANOIDS 2017 - IEEE-RAS International Conference on Humanoid Robots, Nov 2017, Birmingham, United Kingdom. pp.1-8
...
hal-01636494v1  Conference papers
Salvatore SignorelloSamuel MarchalJérôme FrançoisOlivier FestorRadu State. Advanced Interest Flooding Attacks in Named-Data Networking
NCA 2017 - IEEE International Symposium on Network Computing and Applications, Oct 2017, Cambridge, United States
...
hal-01518786v1  Conference papers
Adam GaierAlexander AsterothJean-Baptiste Mouret. Aerodynamic Design Exploration through Surrogate-Assisted Illumination
18th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference , 2017, Denver, Colorado, United States
hal-01541159v1  Conference papers
Anne Gégout-PetitBérangère BastienAurélie MullerYaojie Shi. Aggregated methods for covariates selection and ranking in high-dimensional data under dependence
ENBIS 2017 - 17th Annual Conference of the European Network for Business and Industrial Statistics, Sep 2017, Naples, Italy
...
hal-01416366v1  Conference papers
Simon LeglaiveUmut ŞimşekliAntoine LiutkusRoland BadeauGael Richard. Alpha-Stable Multichannel Audio Source Separation
42nd International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, Mar 2017, New Orleans, United States
...
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJ.-D. Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
...
hal-02353415v1  Conference papers
Axel ModaveXavier AntoineChristophe 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-02353312v1  Conference papers
Axel ModaveXavier AntoineAnthony RoyerChristophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
WAVES 2019 - 14th International Conference on Mathematical and Numerical Aspects of Wave Propagation, Aug 2019, Vienna, Austria
...
hal-01559693v3  Conference papers
Quang-Vinh DangClaudia-Lavinia Ignat. An end-to-end learning solution for assessing the quality of Wikipedia articles
OpenSym 2017 - International Symposium on Open Collaboration, Aug 2017, Galway, Ireland. ⟨10.1145/3125433.3125448⟩
...
hal-01531588v1  Conference papers
Mohamed Amine MenacerOdile MellaDominique FohrDenis JouvetDavid Langlois et al.  An enhanced automatic speech recognition system for Arabic
The third Arabic Natural Language Processing Workshop - EACL 2017, Apr 2017, Valencia, Spain
...
hal-01446441v1  Conference papers
Karan NathwaniJuan Morales-CordovillaSunit SivasankaranIrina IllinaEmmanuel Vincent. An extended experimental investigation of DNN uncertainty propagation for noise robust ASR
5th Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA 2017), Mar 2017, San Francisco, United States
...
hal-02010199v2  Conference papers
Dayana RibasEmmanuel 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
inria-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
...
hal-02278345v1  Conference papers
Christelle DodaneDominique BoutetIvana DidirkovaFabrice HirschSlim Ouni et al.  An integrative platform to capture the orchestration of gesture and speech
GeSpIn 2019 - Gesture and Speech in Interaction, Sep 2019, Paderborn, Germany
...
hal-02401738v1  Conference papers
Lucas Nussbaum. An overview of Fed4FIRE testbeds -- and beyond?
GEFI - Global Experimentation for Future Internet Workshop, Nov 2019, Coimbra, Portugal