|
75
|
Monte-carlo approximation algorithms for enumeration problems
– R M Karp, M Luby, N Madras
- 1989
|
|
32
|
Conditioning Probabilistic Databases
– Christoph Koch, Dan Olteanu
|
|
40
|
An Optimal Approximation Algorithm For Bayesian Inference
– Paul Dagum, Michael Luby
- 1997
|
|
28
|
SPROUT: Lazy vs. eager query plans for tuple-independent probabilistic databases
– Dan Olteanu, Jiewen Huang, Christoph Koch
- 2009
|
|
275
|
Efficient Query Evaluation on Probabilistic Databases
– Nilesh Dalvi, Dan Suciu
- 2004
|
|
109
|
Monte-Carlo algorithms for enumeration and reliability problems
– R M KARP, M LUBY
- 1983
|
|
86
|
Weighting and integrating evidence for stochastic simulation in Bayesian networks
– R M FUNG, K-C CHANG
- 1990
|
|
142
|
Simulation approaches to general probabilistic inference on belief networks
– R D Shachter, M Peot
- 1989
|
|
59
|
On Nested Depth First Search
– G. J. Holzmann, D. Peled, M. Yannakakis
|
|
252
|
Reactive Modules
– Rajeev Alur , Thomas A. Henzinger
- 1996
|
|
106
|
M.: Memory efficient algorithms for the verification of temporal properties
– C Courcoubetis, M Y Vardi, P Wolper, Yannakakis
- 1992
|
|
29
|
Monte Carlo Model Checking
– Radu Grosu, Scott A. Smolka
- 2005
|
|
23
|
Approximate probabilistic model checking
– T Hérault, R Lassaigne, F Magniette, S Peyronnet
- 2004
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
71
|
Hoeffding Races: Accelerating Model Selection Search for Classification and Function Approximation
– Oded Maron, Andrew W. Moore
- 1994
|
|
55
|
A General Method for Scaling Up Machine Learning Algorithms and its Application to Clustering
– Pedro Domingos, Geoff Hulten, Pedrod Cs. Washington Edu, Cleoff Hulten Ghultencs. Washington. Edu
- 2001
|
|
11
|
Scaling up a Boosting-Based Learner via Adaptive Sampling
– Carlos Domingo, Osamu Watanabe
- 2000
|
|
121
|
A Knowledge Compilation Map
– Adnan Darwiche, Pierre Marquis
- 2002
|
|
106
|
Efficient top-k query evaluation on probabilistic data
– Christopher Ré, Nilesh Dalvi, Dan Suciu
- 2007
|