Sciweavers

4098 search results - page 77 / 820
» Sound mobility models
Sort
View
129
Voted
ASM
2010
ASM
15 years 7 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
102
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 3 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
165
Voted
MONET
2006
173views more  MONET 2006»
15 years 3 months ago
Exploiting Mobility for Energy Efficient Data Collection in Wireless Sensor Networks
We analyze an architecture based on mobility to address the problem of energy efficient data collection in a sensor network. Our approach exploits mobile nodes present in the senso...
Sushant Jain, Rahul Shah, Waylon Brunette, Gaetano...
ICASSP
2008
IEEE
15 years 10 months ago
Bayesian extensions to non-negative matrix factorisation for audio signal modelling
We describe the underlying probabilistic generative signal model of non-negative matrix factorisation (NMF) and propose a realistic conjugate priors on the matrices to be estimate...
Tuomas Virtanen, Ali Taylan Cemgil, Simon J. Godsi...
89
Voted
ISMIR
2003
Springer
94views Music» more  ISMIR 2003»
15 years 8 months ago
A multiple feature model for musical similarity retrieval
Despite the “fuzzy” nature of musical similarity, which varies from one person to another, perceptual low level features combined with appropriate classification schemes have...
E. Allamanche, Jürgen Herre, Oliver Hellmuth,...