360 search results - page 6 / 72 » A Method for the Verification of Haptic Algorithms |
AMC
2005
14 years 9 months ago
2005
Batch verification is a method to verify multiple signatures at once. There are two issues associated with batch verification. One is the security problem and the other is the com...
HAPTICS
2002
IEEE
15 years 2 months ago
2002
IEEE
: We present a six-degree-of-freedom haptic rendering algorithm using localized contact computations. It takes advantage of high motion coherence due to fast force update and spati...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
VISUALIZATION
2000
IEEE
15 years 2 months ago
2000
IEEE
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...