1204 search results - page 13 / 241 » Hybrid Probabilistic Programs |
CSFW
1998
IEEE
15 years 1 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...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
IPCO
2007
14 years 11 months ago
2007
137
Voted
SIGMOD
2011
ACM
14 years 8 days 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...
ARTS
1999
Springer
15 years 1 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...