Sciweavers

5799 search results - page 953 / 1160
» Health-OS: : a position paper
Sort
View
SAC
2010
ACM
16 years 1 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
SI3D
2010
ACM
16 years 1 months ago
Learning skeletons for shape and pose
In this paper a method for estimating a rigid skeleton, including skinning weights, skeleton connectivity, and joint positions, given a sparse set of example poses is presented. I...
Nils Hasler, Thorsten Thormählen, Bodo Rosenh...
TEI
2010
ACM
125views Hardware» more  TEI 2010»
16 years 1 months ago
FlyEye: grasp-sensitive surfaces using optical fiber
This paper presents a method for prototyping grasp-sensitive surfaces using optical fibers. In this system one end of a fiber bundle is attached to an image sensor. The other en...
Raphael Wimmer
CCS
2010
ACM
16 years 1 months ago
A logic for authorization provenance
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
ACHI
2009
IEEE
16 years 1 months ago
Networked Haptic Cooperation Using Remote Dynamic Proxies
Networked haptic cooperation entails direct interaction among users as well as joint manipulation of virtual objects. To increase the realism of both types of interactions, this p...
Zhi Li, Daniela Constantinescu