Mark Chavira

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Bucket Elimination

Context Specific Independence

Bayesian Networks

Top Venues

Publications

Mark Chavira, David Allen, Adnan Darwiche
Exploiting Evidence in Probabilistic Inference CoRR (2012)
Arthur Choi, Mark Chavira, Adnan Darwiche
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks CoRR (2012)
Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, N. Serdar Uckun
Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. IEEE Trans. Syst. Man Cybern. Part A 40 (5) (2010)
Mark Chavira, Adnan Darwiche
On probabilistic inference by weighted model counting. Artif. Intell. 172 (6-7) (2008)
Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. AAAI (2008)
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Mark Chavira, Adnan Darwiche
Compiling Bayesian Networks Using Variable Elimination. IJCAI (2007)
Arthur Choi, Mark Chavira, Adnan Darwiche
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI (2007)
Mark Chavira, Adnan Darwiche, Manfred Jaeger
Compiling relational Bayesian networks for exact inference. Int. J. Approx. Reason. 42 (1-2) (2006)
Mark Chavira, Adnan Darwiche
Encoding CNFs to Empower Component Analysis. SAT (2006)
Jinbo Huang, Mark Chavira, Adnan Darwiche
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI (2006)
Mark Chavira, Adnan Darwiche
Compiling Bayesian Networks with Local Structure. IJCAI (2005)
Mark Chavira, David Allen, Adnan Darwiche
Exploiting Evidence in Probabilistic Inference. UAI (2005)