Sciweavers

7393 search results - page 977 / 1479
» Synthesis-for-testability using transformations
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Objective evaluation of the Dynamic Model Selection method for spectral voice conversion
Spectral voice conversion is usually performed using a single model selected in order to represent a tradeoff between goodness of fit and complexity. Recently, we proposed a new ...
Pierre Lanchantin, Xavier Rodet
ICASSP
2011
IEEE
14 years 10 months ago
Data driven model based least squares image reconstruction for radio astronomy
Image reconstruction problems in radio astronomy and other fields like biomedical imaging are often ill-posed and some form of regularization is required. This imposes user speci...
Stefan J. Wijnholds, Alle-Jan van der Veen
JCPHY
2011
87views more  JCPHY 2011»
14 years 9 months ago
A fast directional algorithm for high-frequency electromagnetic scattering
This paper is concerned with the fast solution of high frequency electromagnetic scattering problems using the boundary integral formulation. We extend the O(N log N) directional ...
Paul Tsuji, Lexing Ying
SIGMOD
2011
ACM
198views Database» more  SIGMOD 2011»
14 years 9 months ago
U-MAP: a system for usage-based schema matching and mapping
This demo shows how usage information buried in query logs can play a central role in data integration and data exchange. More specifically, our system U-Map uses query logs to g...
Hazem Elmeleegy, Jaewoo Lee, El Kindi Rezig, Moura...
APLAS
2011
ACM
14 years 6 months ago
Constructing List Homomorphisms from Proofs
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
Yun-Yan Chi, Shin-Cheng Mu