967 search results - page 86 / 194 » Probabilistic Predicative Programming |
104
Voted
VL
2009
IEEE
15 years 9 months ago
2009
IEEE
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...
135
Voted
IEEEARES
2009
IEEE
15 years 10 days ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
114
Voted
IPCO
2007
15 years 4 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
115
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
120
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...