967 search results - page 151 / 194 » Probabilistic Predicative Programming |
139
click to vote
LICS
2010
IEEE
15 years 25 days ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
134
click to vote
TRANSCI
2010
14 years 9 months ago
2010
We consider the Courier Delivery Problem, a variant of the Vehicle Routing Problem with time windows in which customers appear probabilistically and their service times are uncert...
244
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
139
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
141
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Mocapy++ is a toolkit for parameter learning and inference in dynamic Bayesian networks (DBNs). It supports a wide range of DBN architectures and probability distribut...