1204 search results - page 13 / 241 » Hybrid Probabilistic Programs |
177
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
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...
144
Voted
IPCO
2007
15 years 7 months ago
2007
354
Voted
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
179
Voted
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...