6059 search results - page 283 / 1212 » A Technique for Verifying Measurements |
153
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Previous studies have shown that the quantification of volumetric blood flow from a color Doppler image (CDI) is a feasible approach to eliminate technical obstacles in the tradit...
160
click to vote
MVA
1994
15 years 8 months ago
1994
The purpose of this study is to extract 3D information from 2D images passively. Though the voting technique is one of the passive methods to obtain the 3D information effectively...
125
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...
188
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents an EKF-based approach to the problem of robot formation pose tracking in SLAM when a previously built feature-based stochastic map of a navigation area is avail...
282
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...