4013 search results - page 567 / 803 » computer 2002 |
120
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
135
Voted
CAD
2002
Springer
15 years 3 months ago
2002
Springer
Deformation of 3D shapes usually requires the use of a deformation tool. The freeform deformation technique requires the use of a lattice of control point for deforming an object....
137
click to vote
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...
118
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
The mathematical relationship between the expectedconfusion metric and the area under a receiver operating characteristic (ROC) curve is derived. Given a limited database of subje...
116
Voted
HAPTICS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper investigates the problem of perceived instability during haptic texture rendering. We focus on the perceptual analysis of the stability of textured surfaces rendered wi...