360 search results - page 6 / 72 » A Method for the Verification of Haptic Algorithms |
122
Voted
AMC
2005
15 years 1 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...
105
Voted
HAPTICS
2002
IEEE
15 years 6 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...
55
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
91
Voted
VISUALIZATION
2000
IEEE
15 years 5 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 ...
92
Voted
DAC
2009
ACM
15 years 8 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...