1058 search results - page 47 / 212 » It's Doomed; We Can Prove It |
NIPS
1998
13 years 11 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
MMAS
2012
Springer
12 years 5 months ago
2012
Springer
In this paper we analyze wave propagation in three-dimensional random media. We consider a source with limited spatial and temporal support that generates spherically diverging wav...
ICC
2011
IEEE
12 years 9 months ago
2011
IEEE
—Anonymity is one of the main motivations for conducting denial-of-service attacks. Currently, there is no mechanism to either identify the true source of an IP packet or to prov...
CSFW
2012
IEEE
12 years 11 days ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...