99 results  save search

hal-00849791v2  Conference papers
Nobutaka ItoEmmanuel VincentNobutaka OnoShigeki Sagayama. General algorithms for estimating spectrogram and transfer functions of target signal for blind suppression of diffuse noise
2013 IEEE International Workshop on Machine Learning for Signal Processing, Sep 2013, Southampton, United Kingdom
hal-00800770v1  Conference papers
Alexis BenichouxEmmanuel VincentRémi Gribonval. A fundamental pitfall in blind deconvolution with sparse and shift-invariant priors
ICASSP - 38th International Conference on Acoustics, Speech, and Signal Processing - 2013, May 2013, Vancouver, Canada
hal-01533708v1  Conference papers
David BaeldeStéphanie DelauneIvan GazeauSteve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
hal-01155207v1  Conference papers
Nabil HallouErven RohouPhilippe ClaussAlain Ketterlin. Dynamic Re-Vectorization of Binary Code
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XV, Jul 2015, Agios Konstantinos, Greece
hal-00907888v1  Conference papers
Sébastien BadiaAlexandra Carpen-AmarieAdrien LebreLucas Nussbaum. Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed
TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, ACM - SGIPLAN, Jul 2013, Lugano, Switzerland. pp.7-12, ⟨10.1145/2489295.2489298⟩
hal-01108675v1  Conference papers
Nathan Souviraà-LabastieEmmanuel VincentFrédéric Bimbot. Music separation guided by cover tracks: designing the joint NMF model
40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015, Apr 2015, Brisbane, Australia
hal-01360105v1  Directions of work or proceedings
Annie ForetGlyn MorrillReinhard MuskensRainer OsswaldSylvain Pogodalla. Formal Grammar
Italy. 9804, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, 978-3-662-53041-2. ⟨10.1007/978-3-662-53042-9⟩
hal-00720815v1  Reports
Frédéric DesprezGeoffrey FoxEmmanuel JeannotKate KeaheyMichael Kozuch et al.  Supporting Experimental Computer Science
[Research Report] Argonne National Laboratory Technical Memo 326, 2012
hal-02268400v1  Journal articles
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, In press, 21 (1), ⟨10.1145/3343507⟩
hal-00922378v1  Journal articles
Emmanuel VincentNancy BertinRémi GribonvalFrédéric Bimbot. From blind to guided audio source separation: How models and side information can improve the separation of sound
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2014, 31 (3), pp.107-115
hal-01614987v3  Conference papers
Sergueï LengletAlan Schmitt. HOπ in Coq
CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩
hal-00803886v1  Journal articles
Stanislaw RaczynskiEmmanuel VincentShigeki Sagayama. Dynamic Bayesian networks for symbolic polyphonic pitch modeling
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013, 21 (9), pp.1830-1840
hal-01070298v4  Journal articles
Nathan Souviraà-LabastieAnaik OliveroEmmanuel VincentFrédéric Bimbot. Multi-channel audio source separation using multiple deformed references
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2015, 23 (11), pp.1775-1787. ⟨10.1109/taslp.2015.2450494⟩
hal-00742687v1  Journal articles
Jonathan Le RouxEmmanuel Vincent. Consistent Wiener filtering for audio source separation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2013, 20 (3), pp.217-220. ⟨10.1109/LSP.2012.2225617⟩
hal-00934941v1  Journal articles
Alexis BenichouxLaurent S. R. SimonEmmanuel VincentRémi Gribonval. Convex regularizations for the simultaneous recording of room impulse responses
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2014, ⟨10.1109/TSP.2014.2303431⟩
hal-00965708v2  Conference papers
David MargeryEmile MorelLucas NussbaumOlivier RichardCyril Rohr. Resources Description, Selection, Reservation and Verification on a Large-scale Testbed
TRIDENTCOM - 9th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, May 2014, Guangzhou, China
hal-00917950v1  Conference papers
Emmanuel RiouErven RohouPhilippe ClaussNabil HallouAlain Ketterlin. PADRONE: a Platform for Online Profiling, Analysis, and Optimization
DCE 2014 - International workshop on Dynamic Compilation Everywhere, Jan 2014, Vienne, Austria
hal-01993308v1  Books
Steve KremerLudovic MéDidier RémyVincent Roca. Cybersecurity
Inria, pp.172, 2019, Inria white book