—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...
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...
The force-update-rate requirements of transparent rendering of virtual environments are in conflict with the computational cost required for computing complex interactions betwee...
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...
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...