Now showing items 1-20 of 207

  • Improving Musical Expressiveness by Time-Varying Brightness Shaping 

    BARTHET, M; Kronland-Martinet, R; Ystad, S (Springer, 2007)
    While listeners' emotional response to music is the subject of numerous studies, less attention is paid to the dynamic emotion variations due to the interaction between artists and audiences in live improvised music ...
  • Probabilistic Modeling Paradigms for Audio Source Separation 

    Vincent, E; Jafari, MG; Abdallah, SA; Plumbley, MD; Davies, ME (IGI Global, 2011)
    Most sound scenes result from the superposition of several sources, which can be separately perceived and analyzed by human listeners. Source separation aims to provide machine listeners with similar skills by extracting ...
  • Separating sources from sequentially acquired mixtures of heart signals 

    Hedayioglu, FL; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT; Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on (IEEE Explore, 2011)
    In this paper, we consider the problem of separating a set of independent components when only one movable sensor is available to record the mixtures. We propose to exploit the quasi-periodicity of the heart signals to ...
  • Bayesian MAP estimation of piecewise arcs in tempo time-series 

    Stowell, D; Chew, E; 9th International Symposium on Computer Music Modeling and Retrieval CMMR 2012 (Springer, 2012)
    In musical performances with expressive tempo modulation, the tempo variation can be modelled as a sequence of tempo arcs. Previous authors have used this idea to estimate series of piecewise arc segments from data. In ...
  • On the formalization of termination techniques based on multiset orderings 

    Thiemann, R; Allais, G; Nagele, J; 23rd International Conference on Rewriting Techniques and Applications (Leibniz International Proceedings in Informatics, LIPIcs, 2012)
    Multiset orderings are a key ingredient in certain termination techniques like the recursive path ordering and a variant of size-change termination. In order to integrate these techniques in a certifier for termination ...
  • Integrating Additional Chord Information Into HMM-Based Lyrics-to-Audio Alignment 

    MAUCH, M; Fujihara, H; Goto, M (2012-01)
    Aligning lyrics to audio has a wide range of applications such as the automatic generation of karaoke scores, song-browsing by lyrics, and the generation of audio thumbnails. Existing methods are restricted to using only ...
  • Investigation of the near-grazing behavior in hard-impact oscillators using model-based TS fuzzy approach 

    Mehran, K; Zahawi, B; Giaouris, D (Springer, 2012-02)
    An impact oscillator is a non-smooth dynamical system with discontinuous state jumps whose dynamical behavior illustrates a variety of non-linear phenomena including a grazing bifurcation. This specific phenomenon is ...
  • Using Score-Informed Constraints For NMF-Based Source Separation 

    Ewert, S; Müller, M; Acoustics, Speech and Signal Processing (ICASSP), 2012 IEEE Intern. Conference (IEEE, 2012-03-30)
    Techniques based on non-negative matrix factorization (NMF) can be used to efficiently decompose a magnitude spectrogram into a set of template (column) vectors and activation (row) vectors. To better control this ...
  • xDGP: A Dynamic Graph Processing System with Adaptive Partitioning 

    Vaquero, L; Cuadrado, F; Logothetis, D; Martella, C (arXiv, 2013)
    Many real-world systems, such as social networks, rely on mining efficiently large graphs, with hundreds of millions of vertices and edges. This volume of information requires partitioning the graph across multiple nodes ...
  • An open dataset for research on audio field recording archives: freefield1010 

    Stowell, D; Plumbley, MD (Proceedings of the AES International Conference, 2014)
    We introduce a free and open dataset of 7690 audio clips sampled from the field-recording tag in the Freesound audio archive. The dataset is designed for use in research related to data mining in audio archives of field ...
  • Certification of Confluence Proofs using CeTA 

    Nagele, J; Thiemann, R; 3rd International Workshop on Confluence (3rd International Workshop on Confluence, 2014-07-13)
    CeTA was originally developed as a tool for certifying termination proofs which have to be provided as certificates in the CPF-format. Its soundness is proven as part of IsaFoR, the Isabelle Formalization of Rewriting. By ...
  • Certification of nontermination proofs using strategies and nonlooping derivations 

    Nagele, J; Thiemann, R; Winkler, S; 6th Working Conference on Verified Software: Theories, Tools, and Experiments (Springer, 2014-10)
    The development of sophisticated termination criteria for term rewrite systems has led to powerful and complex tools that produce (non)termination proofs automatically. While many techniques to establish termination have ...
  • Novel Methods in Facilitating Audience and Performer Interaction Using the Mood Conductor Framework 

    Fazekas, G; BARTHET, M; Sandler, MB (Springer-Verlag, 2014-12)
    While listeners’ emotional response to music is the subject of numerous studies, less attention is paid to the dynamic emotion variations due to the interaction between artists and audiences in live improvised music ...
  • Investigating Open-World Person Re-identification Using a Drone. 

    Layne, R; Hospedales, TM; Gong, S (Springer, 2015)
    Person re-identification is now one of the most topical and intensively studied problems in computer vision due to its challenging nature and its critical role in underpinning many multi-camera surveillance tasks. A ...
  • Improving automatic confluence analysis of rewrite systems by redundant rules 

    Nagele, J; Felgenhauer, B; Middeldorp, A; 26th International Conference on Rewriting Techniques and Applications (26th International Conference on Rewriting Techniques and Applications, 2015-04)
    We describe how to utilize redundant rewrite rules, i.e., rules that can be simulated by other rules, when (dis)proving confluence of term rewrite systems. We demonstrate how automatic confluence provers benefit from the ...
  • Certified rule labeling 

    Nagele, J; Zankl, H; 26th International Conference on Rewriting Techniques and Applications (26th International Conference on Rewriting Techniques and Applications, 2015-04)
    The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination ...
  • Conceptualizing Creativity: From Distributional Semantics to Conceptual Spaces 

    Agres, K; McGregor, S; Purver, M; Wiggins, G (2015-06)
  • Confluence competition 2015 

    Aoto, T; Hirokawa, N; Nagele, J; Nishida, N; Zankl, H; 25th International Conference on Automated Deduction (Springer, 2015-07)
    Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the ...
Return to top