45 search results - page 8 / 9 » Adaptive Soundness of Static Equivalence |
JAIR
2007
13 years 7 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliļ¬...
CF
2004
ACM
14 years 29 days ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
MCS
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. Ozaās Online Boosting algorithm provides a version of AdaBoost which can be trained in an online way for stationary problems. One perspective is that this enables the p...
STOC
2000
ACM
13 years 11 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...
CP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract There has been considerable interest in the identiļ¬cation of structural properties of combinatorial problems that lead to efļ¬cient algorithms for solving them. Some of...