Sciweavers

1384 search results - page 225 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
HAPTICS
2006
IEEE
15 years 3 months ago
3D Stereo Viewing Evaluation for the Virtual Haptic Back Project
The purpose of the Virtual Haptic Back (VHB) project is to develop a realistic haptic/graphical model of the human back that can be used for palpation (diagnosis though touch) in ...
Wei Ji, Robert L. Williams II, John N. Howell, Rob...
HAPTICS
2006
IEEE
15 years 3 months ago
Measuring Fingertip Forces by Imaging the Fingernail
This paper presents an external camera method for measuring fingertip forces by imaging the fingernail and surrounding skin. This method is an alternative to the photoplethysmog...
Yu Sun, Young-Seok Kim, John M. Hollerbach, Thenku...
ACMACE
2006
ACM
15 years 3 months ago
A stylized cartoon hair renderer
This paper describes a new hair rendering technique for Anime characters. The overall goal is to improve current cel shaders by introducing a new hair model and hair shader. The h...
Jung Shin, Michael Haller, R. Mukundan
LAWEB
2003
IEEE
15 years 3 months ago
Storing RDF as a Graph
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
Valerie Bönström, Annika Hinze, Heinz Sc...
GI
2001
Springer
15 years 2 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...