Energy-efficient communication has recently become a key challenge for both researchers and industries. In this paper, we propose a new model in which a Content Provider and an In...
In this paper, we propose a practical object recognition system which consists of two functional modules. The first is object extraction module using a range image, and the second...
Web services are increasingly being used to expose applications over the Internet. These Web services are being integrated within and across enterprises to create higher function ...
This paper presents a new test response compaction technique with any number of unknown logic values (X’s) in the test response bits. The technique leverages an X-tolerant respo...
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...