313 search results - page 23 / 63 » Error Correction Based on Verification Techniques |
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
In the past few years since Adleman’s pioneering work on solving the HPP(Hamiltonian Path Problem) with a DNA-based computer [1], many algorithms have been designed on solving NP...
102
click to vote
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ISQED
2010
IEEE
15 years 1 months ago
2010
IEEE
Recent studies have shown that an attacker can retrieve confidential information from cryptographic hardware (e.g. the secret key) by introducing internal faults. A secure and re...
ECML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Ensemble learning is a powerful learning approach that combines multiple classifiers to improve prediction accuracy. An important decision while using an ensemble of cla...
105
click to vote
INTERACT
2003
15 years 1 months ago
2003
: Using speech input to augment the remote control can be an alternative interaction technique for interactive television. However, little is known about how to design such a syste...