Sciweavers

3921 search results - page 468 / 785
» Transforming Models with ATL
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Adaptive harmonic time-frequency decomposition of audio using shift-invariant PLCA
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
Benoit Fuentes, Roland Badeau, Gaël Richard
ICSOC
2009
Springer
16 years 1 months ago
Engage: Engineering Service Modes with WS-Engineer and Dino
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
Howard Foster, Arun Mukhija, David S. Rosenblum, S...
ASIACRYPT
2008
Springer
15 years 8 months ago
A Modular Security Analysis of the TLS Handshake Protocol
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
WSC
2000
15 years 8 months ago
Analyzing transformation-based simulation metamodels
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
Maria de los A. Irizarry, Michael E. Kuhl, Emily K...
CVPR
2008
IEEE
16 years 8 months ago
Quasi-perspective projection with applications to 3D factorization from uncalibrated image sequences
The paper addresses the problem of factorization-based 3D reconstruction from uncalibrated image sequences. We propose a quasi-perspective projection model and apply the model to ...
Guanghui Wang, Q. M. Jonathan Wu, Guoqiang Sun