3820 search results - page 702 / 764 » Bounded Model Debugging |
123
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Valiant’s (2007) model of evolvability models the evolutionary process of acquiring useful functionality as a restricted form of learning from random examples. Linear threshold ...
133
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
126
click to vote
DCOSS
2011
Springer
14 years 1 months ago
2011
Springer
—Sensor networks are often redundant by design; this is often done in order to achieve reliability in information processing. In many cases, the redundancy relationships between ...
149
click to vote
PODC
2012
ACM
13 years 4 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
159
click to vote
SDM
2012
SIAM
13 years 4 months ago
2012
SIAM
Matrix factorization (MF) has been demonstrated to be one of the most competitive techniques for collaborative filtering. However, state-of-the-art MFs do not consider contextual...