Sciweavers

494 search results - page 4 / 99
» Probabilistic Programming in Anglican
Sort
View
DSL
2009
14 years 7 months ago
Embedded Probabilistic Programming
Oleg Kiselyov, Chung-chieh Shan
CSFW
1998
IEEE
15 years 1 months ago
Probabilistic Noninterference in a Concurrent Language
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
Dennis M. Volpano, Geoffrey Smith
GECCO
2005
Springer
15 years 3 months ago
Scalability of genetic programming and probabilistic incremental program evolution
Radovan Ondas, Martin Pelikan, Kumara Sastry