Mark Chavira

13 papers A* 4A 3Journal 6

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