967 search results - page 164 / 194 » Probabilistic Predicative Programming |
118
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
113
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
114
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
113
click to vote
IJISEC
2008
15 years 2 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
117
click to vote
JASIS
2006
15 years 2 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...