Chavira, Mark

6 publications

AAAI 2008 Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun

IJCAI 2007 Compiling Bayesian Networks Using Variable Elimination Mark Chavira, Adnan Darwiche

UAI 2007 Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks Arthur Choi, Mark Chavira, Adnan Darwiche

AAAI 2006 Solving MAP Exactly by Searching on Compiled Arithmetic Circuits Jinbo Huang, Mark Chavira, Adnan Darwiche

IJCAI 2005 Compiling Bayesian Networks with Local Structure Mark Chavira, Adnan Darwiche

UAI 2005 Exploiting Evidence in Probabilistic Inference Mark Chavira, David Allen, Adnan Darwiche