4814 search results - page 859 / 963 » Combining abstract interpreters |
TASLP
2010
13 years 4 months ago
2010
Abstract--Voice conversion can be formulated as finding a mapping function which transforms the features of the source speaker to those of the target speaker. Gaussian mixture mode...
TCAD
2010
13 years 4 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
TCAD
2010
13 years 4 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
TCSV
2010
13 years 4 months ago
2010
Abstract--Multiple description coding offers interesting solutions for error resilient multimedia communications as well as for distributed streaming applications. In this letter, ...
TWC
2010
13 years 4 months ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...