494 search results - page 36 / 99 » Probabilistic Programming in Anglican |
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
85
Voted
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
FLAIRS
2001
14 years 11 months ago
2001
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
ICCSA
2004
Springer
15 years 3 months ago
2004
Springer
The algorithmic techniques which allow high efficiency in the precise calculation of the reliability of an undirected graph with absolutely reliable nodes and unreliable edges are ...