Sciweavers

1302 search results - page 77 / 261
» Soundness in the Public-Key Model
Sort
View
ICASSP
2008
IEEE
16 years 26 days 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...
VTC
2010
IEEE
132views Communications» more  VTC 2010»
15 years 4 months ago
Large Scale Parameter for the WINNER II Channel Model at 2.53 GHz in Urban Macro Cell
— This paper presents results of wide band channel measurements at 2.53 GHz for a representative urban macro cell environment in Ilmenau, Germany. The extensive channel sounding ...
Christian Schneider, Milan Narandzic, Martin K&aum...
ISMIR
2003
Springer
94views Music» more  ISMIR 2003»
15 years 11 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,...
TCS
2011
15 years 1 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
CEC
2007
IEEE
16 years 23 days ago
N-gram fitness function with a constraint in a musical evolutionary system
—This paper describes an evolutionary music composition system that combines trainable music critics with a bag of notes constraint. Unlike many evolutionary composition systems,...
Man Yat Lo, Simon M. Lucas