Sciweavers

3201 search results - page 407 / 641
» High Quality Hatching
Sort
View
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
14 years 3 months ago
Property analysis and design understanding
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
Ulrich Kühne, Daniel Große, Rolf Drechs...
HAPTICS
2009
IEEE
14 years 3 months ago
System improvements in Mobile Haptic Interface
A Mobile Haptic Interface (MHI), a force-feedback haptic interface with a mobile base, allows to render very large virtual objects in a safe and portable manner. In this paper, we...
In Lee, Inwook Hwang, Kyung-Lyoung Han, Oh Kyu Cho...
HAPTICS
2009
IEEE
14 years 3 months ago
Haptic rendering of complex deformations through handle-space force linearization
The force-update-rate requirements of transparent rendering of virtual environments are in conflict with the computational cost required for computing complex interactions betwee...
Carlos Garre, Miguel A. Otaduy
ICASSP
2009
IEEE
14 years 3 months ago
A hybrid method for deconvolution of Bernoulli-Gaussian processes
We investigate a hybrid method which improves the quality of state inference and parameter estimation in blind deconvolution of a sparse source modeled by a Bernoulli-Gaussian pro...
Sinan Yildirim, Ali Taylan Cemgil, Aysin Ertü...
ICASSP
2009
IEEE
14 years 3 months ago
Combining frontend-based memory with MFCC features for Bandwidth Extension of narrowband speech
In this paper, we continue our previous work on improving Bandwidth Extension (BWE) of narrowband speech. We have shown that including memory into the parametrization frontend (th...
Amr H. Nour-Eldin, Peter Kabal