Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
We propose a new formulation of the clustering problem that differs from previous work in several aspects. First, the goal is to explicitly output a collection of simple and meani...
In this paper, we consider a multi-camera vision system mounted on a moving object in a static threedimensional environment. By using the motion ow elds seen by all of the cameras...
The primary objective of this research work is to develop an efficient and intuitive deformation technique for virtual human modeling by silhouettes input. With our method, the re...
Charlie C. L. Wang, Yu Wang 0010, Matthew Ming-Fai...
In this paper, we establish the exact relationship between the continuous and the discrete phase-difference of two shifted images, and show that their discrete phase difference is...