Mark Chavira

According to our database, Mark Chavira authored at least 11 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study.

Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, N. Serdar Uckun

IEEE Trans. Syst. Man Cybern. Part A, 2010

2008

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.

Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche

J. Satisf. Boolean Model. Comput., 2008

On probabilistic inference by weighted model counting.

Mark Chavira, Adnan Darwiche

Artif. Intell., 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

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks.

Arthur Choi, Mark Chavira, Adnan Darwiche

Proceedings of the UAI 2007, 2007

Compiling Bayesian Networks Using Variable Elimination.

Mark Chavira, Adnan Darwiche

Proceedings of the IJCAI 2007, 2007

2006

Compiling relational Bayesian networks for exact inference.

Mark Chavira, Adnan Darwiche, Manfred Jaeger

Int. J. Approx. Reason., 2006

Encoding CNFs to Empower Component Analysis.

Mark Chavira, Adnan Darwiche

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.

Jinbo Huang, Mark Chavira, Adnan Darwiche

Proceedings of the Proceedings, 2006

2005

Exploiting Evidence in Probabilistic Inference.

Mark Chavira, David Allen, Adnan Darwiche

Proceedings of the UAI '05, 2005

Compiling Bayesian Networks with Local Structure.

Mark Chavira, Adnan Darwiche

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005