Sciweavers

1204 search results - page 22 / 241
» Hybrid Probabilistic Programs
Sort
View
IJCAI
2007
15 years 2 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
111
Voted
IWOMP
2010
Springer
15 years 5 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
15 years 5 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
73
Voted
IWOMP
2010
Springer
15 years 4 months ago
Hybrid Parallel Programming on SMP Clusters Using XPFortran and OpenMP
Yuanyuan Zhang, Hidetoshi Iwashita, Kuninori Ishii...
105
Voted
IJCAI
2007
15 years 2 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