The interplay between arts and HCI has become increasingly commonplace in the past years, offering new opportunities for approaching interaction, but also raising challenges in in...
Lucian Leahu, Jennifer Thom-Santelli, Claudia Pede...
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
Sang Heon Han, Jung Hoon Kim, Tae Soo Yun, Dong Ho...
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
Le Kang, Yici Cai, Yi Zou, Jin Shi, Xianlong Hong,...
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...