313 search results - page 35 / 63 » Error Correction Based on Verification Techniques |
67
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper, we address the problem of creating an objective benchmark for comparing SLAM approaches. We propose a framework for analyzing the results of SLAM approaches base...
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
84
Voted
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Quality of Internet audio is highly sensitive to packet loss caused by congestion in the links. Packet loss for audio is normally rectified by adding redundancy using Forward ...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
50
Voted
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Biometric cryptography is a technique using biometric features to encrypt data, which can improve the security of the encrypted data and overcome the shortcomings of the tradition...