3820 search results - page 125 / 764 » Bounded Model Debugging |
110
Voted
CRYPTO
2008
Springer
15 years 4 months ago
2008
Springer
Despite considerable research efforts, no efficient reduction from the discrete log problem to forging a discrete log based signature (e.g. Schnorr) is currently known. In fact, ne...
129
Voted
JMLR
2012
13 years 5 months ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...
151
Voted
NIPS
1997
15 years 3 months ago
1997
We study on-line generalized linear regression with multidimensional outputs, i.e., neural networks with multiple output nodes but no hidden nodes. We allow at the final layer tra...
130
Voted
JUCS
2002
15 years 2 months ago
2002
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
114
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...