Skip to Main content Skip to Navigation

hal-00642544v1  Conference papers
Frédéric BessonPascal FontaineLaurent Théry. A Flexible Proof Format for SMT: a Proposal
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
hal-00664206v1  Conference papers
Eric SennDaniel ChilletOlivier ZendraCécile BelleudySébastien Bilavarn et al.  Open-People: Open-Power and Energy Optimization Platform and Estimator
Forum SAME (Sophia Antipolis Microelectronics), Oct 2011, Sophia Antipolis, France. pp.University Booth, Session 4, Demo 11
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-00741610v1  Conference papers
Eric SennDaniel ChilletOlivier ZendraCécile BelleudySébastien Bilavarn et al.  Open-People: Open Power and Energy Optimization PLatform and Estimator
15th Euromicro Conference on Digital System Design, Sep 2012, Cesme, Izmir, Turkey. pp.668-675, ⟨10.1109/DSD.2012.98⟩
hal-00741609v1  Conference papers
Eric SennDaniel ChilletOlivier ZendraCécile BelleudyRabie Ben Atitallah et al.  Open-People: an Open Platform for Estimation and Optimizations of energy consumption
Design and Architectures for Signal and Image Processing Conference (DASIP 2012), Oct 2012, Karlsruhe, Germany. ⟨10.1007/978-3-642-17752-1_26⟩
hal-00946971v1  Book sections
Daniel BalouekAlexandra Carpen-AmarieGhislain CharrierFrédéric DesprezEmmanuel Jeannot et al.  Adding Virtualization Capabilities to the Grid'5000 Testbed
Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
hal-00870191v1  Journal articles
Ngoc DuongEmmanuel VincentRémi Gribonval. Spatial location priors for Gaussian model based reverberant audio source separation
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2013, 2013 (1), pp.149. ⟨10.1186/1687-6180-2013-149⟩
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-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-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-00796625v1  Conference papers
Emmanuel VincentJon BarkerShinji WatanabeJonathan Le RouxFrancesco Nesta et al.  The second 'CHiME' Speech Separation and Recognition Challenge: Datasets, tasks and baselines
ICASSP - 38th International Conference on Acoustics, Speech, and Signal Processing - 2013, May 2013, Vancouver, Canada. pp.126-130
hal-00798322v1  Conference papers
Laurent S. R. SimonArthur VimondEmmanuel Vincent. Effects of audio latency in a disc jockey interface
21st International Congress on Acoustics, Jun 2013, Montreal, Canada
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-00931227v1  Poster communications
Laurence CataneseNathan Souviraà-LabastieBingqing QuSébastien CampionGuillaume Gravier et al.  MODIS: an audio motif discovery software
Show & Tell - Interspeech 2013, Aug 2013, Lyon, France. 2013
hal-00840366v1  Conference papers
Joachim ThiemannEmmanuel Vincent. A fast EM algorithm for Gaussian model-based source separation
EUSIPCO - 21st European Signal Processing Conference - 2013, Sep 2013, Marrakech, Morocco
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