313 search results - page 57 / 63 » Error Correction Based on Verification Techniques |
102
click to vote
AAAI
1994
14 years 11 months ago
1994
To navigate effectively, an autonomous agent must be able to quickly and accurately determine its current location. Given an initial estimate of its position (perhaps based on dea...
TCBB
2008
14 years 9 months ago
2008
Mass spectrometry has become one of the most popular analysis techniques in Proteomics and Systems Biology. With the creation of larger data sets, the automated recalibration of ma...
107
click to vote
RAS
2002
14 years 9 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
80
Voted
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Halftone image watermarking techniques that allow automated extraction of the embedded watermark data are useful in a variety of document security and workflow applications. The p...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...