Sciweavers

1204 search results - page 22 / 241
» Hybrid Probabilistic Programs
Sort
View
IJCAI
2007
13 years 10 months ago
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...
Luc De Raedt, Angelika Kimmig, Hannu Toivonen
IWOMP
2010
Springer
14 years 1 months ago
Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
Patrick Carribault, Marc Pérache, Herv&eacu...
ICALP
1997
Springer
14 years 24 days ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
IWOMP
2010
Springer
14 years 19 days ago
Hybrid Parallel Programming on SMP Clusters Using XPFortran and OpenMP
Yuanyuan Zhang, Hidetoshi Iwashita, Kuninori Ishii...
IJCAI
2007
13 years 10 months ago
A Hybridized Planner for Stochastic Domains
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
Mausam, Piergiorgio Bertoli, Daniel S. Weld