6059 search results - page 161 / 1212 » A Technique for Verifying Measurements |
180
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
174
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
145
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
The problem of measuring "similarity" of objects arises in many applications, and many domain-specific measures have been developed, e.g., matching text across documents...
140
click to vote
USITS
2003
15 years 7 months ago
2003
We present Scriptroute, a system that allows ordinary Internet users to conduct network measurements from remote vantage points. We seek to combine the flexibility found in dedic...
199
click to vote
PAMI
1998
15 years 6 months ago
1998
—We present ordinal measures of association for image correspondence in the context of stereo. Linear correspondence measures like correlation and the sum of squared difference b...