-
2
-
-
0035246564
-
Factor graphs and the sum-product algorithm
-
Feb.
-
F.R. Kschischang, B.J. Frey, and H.-A. Loeliger, "Factor Graphs and the Sum-Product Algorithm," IEEE Trans. Information Theory, vol. 47, no. 2, pp. 498-519, Feb. 2001.
-
(2001)
IEEE Trans. Information Theory
, vol.47
, Issue.2
, pp. 498-519
-
-
Kschischang, F.R.1
Frey, B.J.2
Loeliger, H.-A.3
-
3
-
-
27744456278
-
MAP estimation via agreement on (hyper)trees: Message-passing and linear programming approaches
-
Nov.
-
M. Wainwright, T. Jaakkola, and A. Willsky, "MAP Estimation via Agreement on (Hyper)Trees: Message-Passing and Linear Programming Approaches," IEEE Trans. Information Theory, vol. 51, no. 11, pp. 3697-3717, Nov. 2002.
-
(2002)
IEEE Trans. Information Theory
, vol.51
, Issue.11
, pp. 3697-3717
-
-
Wainwright, M.1
Jaakkola, T.2
Willsky, A.3
-
4
-
-
0037516827
-
Tree-Based reparameterization framework for analysis of sum-product and related algorithms
-
May
-
M.J. Wainwright, T.S. Jaakkola, and A.S. Willsky, "Tree-Based Reparameterization Framework for Analysis of Sum-Product and Related Algorithms," IEEE Trans. Information Theory, vol. 49, no. 5, pp. 1120-1146, May 2003.
-
(2003)
IEEE Trans. Information Theory
, vol.49
, Issue.5
, pp. 1120-1146
-
-
Wainwright, M.J.1
Jaakkola, T.S.2
Willsky, A.S.3
-
5
-
-
1642413218
-
A Differential approach to inference in bayesian networks
-
A. Darwiche, "A Differential Approach to Inference in Bayesian Networks," J. ACM, vol. 50, no. 3, pp. 280-305, 2003.
-
(2003)
J. ACM
, vol.50
, Issue.3
, pp. 280-305
-
-
Darwiche, A.1
-
6
-
-
0001006209
-
Local Computations with probabilities on graphical structures and their application to expert systems (with Discussion)
-
S. Lauritzen and D.J. Spiegelhalter, "Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems (with Discussion)," J. Royal Statistical Soc. Series B, vol. 50, no. 2, pp. 157-224, 1988.
-
(1988)
J. Royal Statistical Soc. Series B
, vol.50
, Issue.2
, pp. 157-224
-
-
Lauritzen, S.1
Spiegelhalter, D.J.2
-
7
-
-
0000280976
-
HUGIN- A Shell for building bayesian belief universes for expert systems
-
Aug.
-
S.K. Andersen, K.G. Olesen, F.V. Jensen, and F. Jensen, "HUGIN- A Shell for Building Bayesian Belief Universes for Expert Systems," Proc. 11th Int'l Joint Conf. Artificial Intelligence, vol. 2, pp. 1080-1085, Aug. 1989.
-
(1989)
Proc. 11th Int'l Joint Conf. Artificial Intelligence
, vol.2
, pp. 1080-1085
-
-
Andersen, S.K.1
Olesen, K.G.2
Jensen, F.V.3
Jensen, F.4
-
8
-
-
30244555119
-
Inference in belief networks: A procedural guide
-
C. Huang and A. Darwiche, "Inference in Belief Networks: A Procedural Guide," Int'l J. Approximate Reasoning, vol. 15, pp. 225-263, 1996.
-
(1996)
Int'l J. Approximate Reasoning
, vol.15
, pp. 225-263
-
-
Huang, C.1
Darwiche, A.2
-
9
-
-
0027001335
-
A New Method for solving hard satisfiability problems
-
B. Selman, H. Levesque, and D. Mitchell, "A New Method for Solving Hard Satisfiability Problems," Proc. 10th Nat'l Conf. Artificial Intelligence (AAAI '92), pp. 440-446, 1992.
-
(1992)
Proc. 10th Nat'l Conf. Artificial Intelligence (AAAI '92)
, pp. 440-446
-
-
Selman, B.1
Levesque, H.2
Mitchell, D.3
-
10
-
-
0028574681
-
Noise Strategies for improving local search
-
B. Selman, H.A. Kautz, and B. Cohen, "Noise Strategies for Improving Local Search," Proc. 12th Nat'l Conf. Artificial Intelligence (AAAI '94), pp. 337-343, 1994.
-
(1994)
Proc. 12th Nat'l Conf. Artificial Intelligence (AAAI '94)
, pp. 337-343
-
-
Selman, B.1
Kautz, H.A.2
Cohen, B.3
-
11
-
-
0001788107
-
Algorithms for the satisfiability sat problem: A survey
-
Am. Math. Soc.
-
P.W. Gu, J. Purdom, J. Franco, and B.W. Wah, "Algorithms for the Satisfiability SAT Problem: A Survey," Satisfiability Problem: Theory and Applications, pp. 19-152. Am. Math. Soc., 1997.
-
(1997)
Satisfiability Problem: Theory and Applications
, pp. 19-152
-
-
Gu, P.W.1
Purdom, J.2
Franco, J.3
Wah, B.W.4
-
14
-
-
22944450221
-
-
PhD dissertation Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Apr.
-
O.J. Mengshoel, "Efficient Bayesian Network Inference: Genetic Algorithms, Stochastic Local Search, and Abstraction," PhD dissertation, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Apr. 1999.
-
(1999)
Efficient Bayesian Network Inference: Genetic Algorithms, Stochastic Local Search, and Abstraction
-
-
Mengshoel, O.J.1
-
15
-
-
27344439812
-
Stochastic greedy search: Computing the most probable explanation in bayesian networks
-
Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Feb.
-
O.J. Mengshoel, D. Roth, and D.C. Wilkins, "Stochastic Greedy Search: Computing the Most Probable Explanation in Bayesian Networks," Technical Report UIUCDCS-R-2000-2150, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Feb. 2000.
-
(2000)
Technical Report UIUCDCS-R-2000-2150
-
-
Mengshoel, O.J.1
Roth, D.2
Wilkins, D.C.3
-
16
-
-
36348982863
-
Efficient stochastic local search for mpe solving
-
F. Hutter, H.H. Hoos, and T. Stützle, "Efficient Stochastic Local Search for MPE Solving," Proc. 19th Int'l Joint Conf. Artificial Intelligence (IJCAI '05), pp. 169-174, 2005.
-
(2005)
Proc. 19th Int'l Joint Conf. Artificial Intelligence (IJCAI '05)
, pp. 169-174
-
-
Hutter, F.1
Hoos, H.H.2
Stützle, T.3
-
17
-
-
41049087784
-
Understanding the role of noise in stochastic local search: Analysis and experiments
-
O.J. Mengshoel, "Understanding the Role of Noise in Stochastic Local Search: Analysis and Experiments," Artificial Intelligence, vol. 172, nos. 8-9, pp. 955-990, 2008.
-
(2008)
Artificial Intelligence
, vol.172
, Issue.8-9
, pp. 955-990
-
-
Mengshoel, O.J.1
-
18
-
-
79851512232
-
Portfolios in stochastic local search: Efficiently computing most probable explanations in bayesian networks
-
published online 14 Apr.
-
O.J. Mengshoel, D. Roth, and D.C. Wilkins, "Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks," J. Automated Reasoning, published online 14 Apr. 2010.
-
(2010)
J. Automated Reasoning
-
-
Mengshoel, O.J.1
Roth, D.2
Wilkins, D.C.3
-
19
-
-
26944434018
-
Complexity results and approximation strategies for map explanations
-
J.D. Park and A. Darwiche, "Complexity Results and Approximation Strategies for MAP Explanations," J. Artificial Intelligence Research, vol. 21, pp. 101-133, 2004.
-
(2004)
J. Artificial Intelligence Research
, vol.21
, pp. 101-133
-
-
Park, J.D.1
Darwiche, A.2
-
21
-
-
0343766902
-
Abductive inference using probabilistic networks: Randomized search techniques
-
Knowledge Systems Laboratory Nov.
-
R. Lin, A. Galper, and R. Shachter, "Abductive Inference Using Probabilistic Networks: Randomized Search Techniques," Technical Report KSL-90-73, Knowledge Systems Laboratory, Nov. 1990.
-
(1990)
Technical Report KSL-90-73
-
-
Lin, R.1
Galper, A.2
Shachter, R.3
-
22
-
-
0024610919
-
A Tutorial on hidden markov models and selected applications in speech recognition
-
Feb.
-
L.R. Rabiner, "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition," Proc. IEEE, vol. 77, no. 2, pp. 257-286, Feb. 1989.
-
(1989)
Proc. IEEE
, vol.77
, Issue.2
, pp. 257-286
-
-
Rabiner, L.R.1
-
23
-
-
0033170342
-
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
-
H.H. Hoos and T. Stützle, "Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT," Artificial Intelligence, vol. 112, nos. 1-2, pp. 213-232, 1999.
-
(1999)
Artificial Intelligence
, vol.112
, Issue.1-2
, pp. 213-232
-
-
Hoos, H.H.1
Stützle, T.2
-
24
-
-
0342918673
-
Local search algorithms for sat: An empirical evaluation
-
citeseer.ist.psu.edu/hoos99local.html
-
H.H. Hoos and T. Stü tzle, "Local Search Algorithms for SAT: An Empirical Evaluation," J. Automated Reasoning, vol. 24, no. 4, pp. 421-481, citeseer.ist.psu.edu/hoos99local.html, 2000.
-
(2000)
J. Automated Reasoning
, vol.24
, Issue.4
, pp. 421-481
-
-
Hoos, H.H.1
Stü Tzle, T.2
-
25
-
-
0027002161
-
Hard and easy distributions of sat problems
-
D. Mitchell, B. Selman, and H.J. Levesque, "Hard and Easy Distributions of SAT Problems," Proc. 10th Nat'l Conf. Artificial Intelligence (AAAI '92), pp. 459-465, 1992.
-
(1992)
Proc. 10th Nat'l Conf. Artificial Intelligence (AAAI '92)
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.J.3
-
27
-
-
0028529155
-
Easy Problems are sometimes hard
-
I.P. Gent and T. Walsh, "Easy Problems are Sometimes Hard," Artificial Intelligence, vol. 70, nos. 1-2, pp. 335-345, 1994.
-
(1994)
Artificial Intelligence
, vol.70
, Issue.1-2
, pp. 335-345
-
-
Gent, I.P.1
Walsh, T.2
-
29
-
-
0031630555
-
Boosting combinatorial search through randomization
-
C.P. Gomes, B. Selman, and H. Kautz, "Boosting Combinatorial Search through Randomization," Proc. 15th Nat'l Conf. Artificial Intelligence (AAAI '98), pp. 431-437, 1998.
-
(1998)
Proc. 15th Nat'l Conf. Artificial Intelligence (AAAI '98)
, pp. 431-437
-
-
Gomes, C.P.1
Selman, B.2
Kautz, H.3
-
30
-
-
0012302244
-
A Bayesian approach to tackling hard computational problems
-
E. Horvitz, Y. Ruan, C. Gomes, H. Kautz, B. Selman, and D. Chickering, "A Bayesian Approach to Tackling Hard Computational Problems," Proc. 17th Ann. Conf. Uncertainty in Artificial Intelligence (UAI '01), pp. 235-244, 2001.
-
(2001)
Proc. 17th Ann. Conf. Uncertainty in Artificial Intelligence (UAI '01)
, pp. 235-244
-
-
Horvitz, E.1
Ruan, Y.2
Gomes, C.3
Kautz, H.4
Selman, B.5
Chickering, D.6
-
31
-
-
84957033523
-
Restart policies with dependence among runs: A dynamic programming approach
-
Y. Ruan, E. Horvitz, and H. Kautz, "Restart Policies with Dependence among Runs: A Dynamic Programming Approach," Proc. Eighth Int'l Conf. Principles and Practice of Constraint Programming, pp. 573-586, 2002.
-
(2002)
Proc. Eighth Int'l Conf. Principles and Practice of Constraint Programming
, pp. 573-586
-
-
Ruan, Y.1
Horvitz, E.2
Kautz, H.3
-
33
-
-
0003064380
-
Applications of a general propagation algorithm for probabilistic expert systems
-
A.P. Dawid, "Applications of a General Propagation Algorithm for Probabilistic Expert Systems," Statistics and Computing, vol. 2, pp. 25-36, 1992.
-
(1992)
Statistics and Computing
, vol.2
, pp. 25-36
-
-
Dawid, A.P.1
-
34
-
-
0028483915
-
Finding MAPs for Belief Networks is NP-Hard
-
E. Shimony, "Finding MAPs for Belief Networks is NP-Hard," Artificial Intelligence, vol. 68, pp. 399-410, 1994.
-
(1994)
Artificial Intelligence
, vol.68
, pp. 399-410
-
-
Shimony, E.1
-
35
-
-
0032089922
-
Approximating maps for belief networks is np-hard and other theorems
-
A.M. Abdelbar and S.M. Hedetnieme, "Approximating MAPs for Belief Networks is NP-Hard and Other Theorems," Artificial Intelligence, vol. 102, pp. 21-38, 1998.
-
(1998)
Artificial Intelligence
, vol.102
, pp. 21-38
-
-
Abdelbar, A.M.1
Hedetnieme, S.M.2
-
36
-
-
84935113569
-
Error Bounds for convolutional codes and an asymptotically optimal decoding algorithm
-
Apr.
-
A. Viterbi, "Error Bounds for Convolutional Codes and An Asymptotically Optimal Decoding Algorithm," IEEE Trans. Information Theory, vol. 13, no. 2, pp. 260-269, Apr. 1967.
-
(1967)
IEEE Trans. Information Theory
, vol.13
, Issue.2
, pp. 260-269
-
-
Viterbi, A.1
-
37
-
-
0001247275
-
Propagating uncertainty in bayesian networks by probabilistic logic sampling
-
Elsevier
-
M. Henrion, "Propagating Uncertainty in Bayesian Networks by Probabilistic Logic Sampling," Uncertainty in Artificial Intelligence, vol. 2, pp. 149-163, Elsevier, 1988.
-
(1988)
Uncertainty in Artificial Intelligence
, vol.2
, pp. 149-163
-
-
Henrion, M.1
-
38
-
-
1642312636
-
Mini-Buckets: A general scheme for bounded inference
-
R. Dechter and I. Rish, "Mini-Buckets: A General Scheme for Bounded Inference," J. ACM, vol. 50, no. 2, pp. 107-153, 2003.
-
(2003)
J. ACM
, vol.50
, Issue.2
, pp. 107-153
-
-
Dechter, R.1
Rish, I.2
-
39
-
-
0033188982
-
Bucket elimination: A unifying framework for reasoning
-
citeseer.nj.nec.com/article/dechter99bucket.html
-
R. Dechter, "Bucket Elimination: A Unifying Framework for Reasoning," Artificial Intelligence, vol. 113, nos. 1-2, pp. 41-85, citeseer.nj.nec.com/article/dechter99bucket.html, 1999.
-
(1999)
Artificial Intelligence
, vol.113
, Issue.1-2
, pp. 41-85
-
-
Dechter, R.1
-
40
-
-
0035501311
-
Local search characteristics of incomplete sat procedures
-
citeseer.ist.psu.edu/article/schuurmans00local.html
-
D. Schuurmans and F. Southey, "Local Search Characteristics of Incomplete SAT Procedures," Artificial Intelligence, vol. 132, no. 2, pp. 121-150, citeseer.ist.psu.edu/article/schuurmans00local.html, 2001.
-
(2001)
Artificial Intelligence
, vol.132
, Issue.2
, pp. 121-150
-
-
Schuurmans, D.1
Southey, F.2
-
41
-
-
0029362452
-
Testing heuristics: We have it All Wrong
-
J. Hooker, "Testing Heuristics: We have It All Wrong," J. Heuristics, vol. 1, pp. 33-42, 1996.
-
(1996)
J. Heuristics
, vol.1
, pp. 33-42
-
-
Hooker, J.1
-
43
-
-
0031035643
-
An Economics approach to hard computational problems
-
B.A. Huberman, R.M. Lukose, and T. Hogg, "An Economics Approach to Hard Computational Problems," Science, vol. 275, no. 3, pp. 51-54, 1997.
-
(1997)
Science
, vol.275
, Issue.3
, pp. 51-54
-
-
Huberman, B.A.1
Lukose, R.M.2
Hogg, T.3
-
44
-
-
0032284391
-
CoRAVEN: Modeling and design of a multimedia intelligent infrastructure for collaborative intelligence analysis
-
Oct.
-
P. Jones, C. Hayes, D. Wilkins, R. Bargar, J. Sniezek, P. Asaro, O.J. Mengshoel, D. Kessler, M. Lucenti, I. Choi, N. Tu, and J. Schlabach, "CoRAVEN: Modeling and Design of a Multimedia Intelligent Infrastructure for Collaborative Intelligence Analysis," Proc. IEEE Int'l Conf. Systems, Man, and Cybernetics, pp. 914-919, Oct. 1998.
-
(1998)
Proc. IEEE Int'l Conf. Systems, Man, and Cybernetics
, pp. 914-919
-
-
Jones, P.1
Hayes, C.2
Wilkins, D.3
Bargar, R.4
Sniezek, J.5
Asaro, P.6
Mengshoel, O.J.7
Kessler, D.8
Lucenti, M.9
Choi, I.10
Tu, N.11
Schlabach, J.12
-
46
-
-
85037918238
-
A Tourist guide through treewidth
-
citeseer.nj.nec.com/bodlaender93 tourist.html
-
H.L. Bodlaender, "A Tourist Guide through Treewidth," Acta Cybernetica, vol. 11, pp. 1-21, citeseer.nj.nec.com/bodlaender93 tourist.html, 1993.
-
(1993)
Acta Cybernetica
, vol.11
, pp. 1-21
-
-
Bodlaender, H.L.1
|