6059 search results - page 8 / 1212 » A Technique for Verifying Measurements |
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
We have investigated an intensity-based image registration technique using a robust correlation coefficient as a similarity measure. The proposed method has an advantage over the ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We consider the problem of classification of a pattern from multiple compressed observations that are collected in a sensor network. In particular, we exploit the properties of r...
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
MICCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper describes the first accomplishment of the Timeof-Flight (ToF) measurement principle via endoscope optics. The applicability of the approach is verified by in-v...