313 search results - page 6 / 63 » Error Correction Based on Verification Techniques |
101
click to vote
EUROCRYPT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
118
click to vote
PAMI
2008
14 years 9 months ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
FAST
2008
14 years 12 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
MCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One of the most widely applied techniques to deal with multiclass categorization problems is the pairwise voting procedure. Recently, this classical approach has been emb...