Sciweavers

11030 search results - page 320 / 2206
» Generative Sound Models
Sort
View
JOC
2007
129views more  JOC 2007»
15 years 6 months ago
Formal Proofs for the Security of Signcryption
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
Joonsang Baek, Ron Steinfeld, Yuliang Zheng
ESE
2000
61views Database» more  ESE 2000»
15 years 6 months ago
Requirements-Based Estimation of Change Costs
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
Luigi Lavazza, Giuseppe Valetto
ICASSP
2007
IEEE
16 years 29 days ago
A Spatially Robust Least Squares Crosstalk Canceller
Crosstalk cancellation is a well-known technique to generate virtual 3D sound via loudspeakers. Usually, headphones are used to playback audio material, which has been ltered with...
Markus Kallinger, Alfred Mertins
SMI
2005
IEEE
109views Image Analysis» more  SMI 2005»
16 years 6 days ago
Practical Spherical Embedding of Manifold Triangle Meshes
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
Shadi Saba, Irad Yavneh, Craig Gotsman, Alla Sheff...
ASP
2005
Springer
16 years 5 days ago
A Preliminary Report on Integrating of Answer Set and Constraint Solving
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...