1534 search results - page 180 / 307 » Error Reporting Logic |
126
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Received signal strength (RSS) based source localization papers often ignore the practical effects of range limits in the measurements. In many devices, this results in some senso...
160
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
138
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
The availability of quantitative online benchmarks for
low-level vision tasks such as stereo and optical flow has led
to significant progress in the respective fields. This paper...
124
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
A gait-recognition technique that recovers static body and stride parameters of subjects as they walk is presented. This approach is an example of an activity-specific biometric: ...
124
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
Bundle ajustment is used to obtain accurate visual reconstructions by minimizing the reprojection error. The coordinate frame ambiguity, or more generality the gauge freedoms, has...