3495 search results - page 184 / 699 » On the random satisfiable process |
155
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
Prior survey of RED algorithm deployment on multiqueue system with shared buffer was unfair and sensitive to congestion level by statically setting the parameters. In this paper, ...
140
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
152
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
145
click to vote
CPAIOR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The multileaf collimator sequencing problem is an important component of the effective delivery of intensity modulated radiotherapy used in the treatment of cancer. The p...
141
click to vote
AAAI
2008
15 years 7 months ago
2008
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...