5105 search results - page 597 / 1021 » Approximate Structural Consistency |
165
click to vote
DSD
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
174
click to vote
ICPR
2002
IEEE
15 years 12 months ago
2002
IEEE
A medial surface representation of a grey-level volume image is computed. The foreground is reduced to a subset topologically equivalent to the initial foreground and mainly consi...
187
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
144
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
172
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces the notions of mask and multiple format for setting up a progressive access to information in an Information System. Masks consist of more or less complete r...