5109 search results - page 837 / 1022 » On Learning Limiting Programs |
129
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
150
click to vote
FCT
2005
Springer
15 years 10 months ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
119
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
140
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
117
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...