1726 search results - page 282 / 346 » A resistance-based approach to consensus algorithm performan... |
164
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
126
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
204
click to vote
EACL
2010
ACL Anthology
15 years 5 months ago
2010
ACL Anthology
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
138
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Many websites provide restrictive form-like interfaces which allow users to execute search queries on the underlying hidden databases. In this paper, we consider the problem of es...
148
click to vote
IJNSEC
2008
15 years 4 months ago
2008
We present a hybrid group key management protocol that incorporates both a centralized and a contributory scheme for key management, and a tree-based Elliptic Curve Diffie-Hellman...