1953 search results - page 194 / 391 » Embedded Probabilistic Programming |
110
Voted
TCS
2010
15 years 1 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
129
Voted
PKDD
2010
Springer
15 years 15 days ago
2010
Springer
The foremost nonlinear dimensionality reduction algorithms provide an embedding only for the given training data, with no straightforward extension for test points. This shortcomin...
126
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
115
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
149
Voted
POPL
2010
ACM
15 years 5 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...