Sciweavers

1511 search results - page 188 / 303
» Relational Parametricity for Computational Effects
Sort
View
CHI
2010
ACM
15 years 9 months ago
Exploring affective technologies for the classroom with the subtle stone
Constructive emotional experiences are strongly related to effective learning. Yet, it is challenging for teachers, researchers and students alike to understand the emotions exper...
Madeline Balaam, Geraldine Fitzpatrick, Judith Goo...
SCA
2007
15 years 8 months ago
Kinodynamic skinning using volume-preserving deformations
We present a new approach to character skinning where divergence-free vector fields induced by skeletal motion, describe the velocity of skin deformation. The joint transformation...
Alexis Angelidis, Karan Singh
ECCV
2006
Springer
15 years 8 months ago
Recognition and Segmentation of 3-D Human Action Using HMM and Multi-class AdaBoost
Our goal is to automatically segment and recognize basic human actions, such as stand, walk and wave hands, from a sequence of joint positions or pose angles. Such recognition is d...
Fengjun Lv, Ramakant Nevatia
DSN
2008
IEEE
15 years 8 months ago
Enhanced server fault-tolerance for improved user experience
Interactive applications such as email, calendar, and maps are migrating from local desktop machines to data centers due to the many advantages offered by such a computing environ...
Manish Marwah, Shivakant Mishra, Christof Fetzer
TCS
2008
15 years 6 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...