Sciweavers

2740 search results - page 477 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Distributed blind source separation with an application to audio signals
A scalable blind source separation paradigm aimed at sensor networks is described. The approach facilitates an unlimited number of sensors and sources and does not require a fusio...
Yusuke Hioka, W. Bastiaan Kleijn
ICASSP
2011
IEEE
14 years 1 months ago
Well-calibrated heavy tailed Bayesian speaker verification for microphone speech
The work presented in this paper is an extension of our two previous works [1, 2]. In the first paper [1], we proposed a low dimensional feature (i-vectors) extractor which is su...
Mohammed Senoussaoui, Patrick Kenny, Pierre Dumouc...
GECCO
2011
Springer
270views Optimization» more  GECCO 2011»
14 years 1 months ago
Geometric surrogate-based optimisation for permutation-based problems
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
Alberto Moraglio, Yong-Hyuk Kim, Yourim Yoon
CHES
2011
Springer
298views Cryptology» more  CHES 2011»
13 years 9 months ago
spongent: A Lightweight Hash Function
This paper proposes spongent – a family of lightweight hash functions with hash sizes of 88 (for preimage resistance only), 128, 160, 224, and 256 bits based on a sponge construc...
Andrey Bogdanov, Miroslav Knezevic, Gregor Leander...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 4 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer