3991 search results - page 600 / 799 » Bounding homogeneous models |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
CRYPTO
2007
Springer
14 years 2 months ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
DNA
2007
Springer
14 years 2 months ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
EUROCRYPT
2007
Springer
14 years 2 months ago
2007
Springer
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...