Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
We present a technique for rendering animated 3D models in a Su-Muk painting style with user’s guide. First, a user can sketch directly over 3D models by varying ink and water va...
Jung Lee, Joon-Yong Ji, Soo-Kyun Kim, Chang-Hun Ki...
Soft biometric traits like gender, age, height, weight, ethnicity, and eye color cannot provide reliable user recognition because they are not distinctive and permanent. However, s...
Anil K. Jain, Karthik Nandakumar, Xiaoguang Lu, Un...
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
C. Sean Hundtofte, Gregory D. Hager, Allison M. Ok...
In this paper, we introduce DLoVe, a new paradigm for designing and implementing distributed and nondistributed virtual reality applications, using one-way constraints. DLoVe allo...