Sciweavers

11030 search results - page 97 / 2206
» Generative Sound Models
Sort
View
124
Voted
LPAR
2010
Springer
15 years 12 days ago
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
Michael Gabbay, Murdoch James Gabbay
ICML
2009
IEEE
16 years 3 months ago
Learning dictionaries of stable autoregressive models for audio scene analysis
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
Youngmin Cho, Lawrence K. Saul
TASLP
2008
106views more  TASLP 2008»
15 years 2 months ago
Multipitch Analysis of Polyphonic Music and Speech Signals Using an Auditory Model
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
Anssi Klapuri
ECAI
2010
Springer
14 years 12 months ago
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
Dominik Jain, Andreas Barthels, Michael Beetz
CSCWD
2001
Springer
15 years 7 months ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan