Mark Chavira

	2010
11		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 Transactions on Systems, Man, and Cybernetics, Part A 40(5): 874-885 (2010)
	2008
10		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: 1699-1705
9		Mark Chavira, Adnan Darwiche: On probabilistic inference by weighted model counting. Artif. Intell. 172(6-7): 772-799 (2008)
8		Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche: Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. JSAT 4(2-4): 191-217 (2008)
	2007
7		Mark Chavira, Adnan Darwiche: Compiling Bayesian Networks Using Variable Elimination. IJCAI 2007: 2443-2449
6		Arthur Choi, Mark Chavira, Adnan Darwiche: Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI 2007: 57-66
	2006
5		Jinbo Huang, Mark Chavira, Adnan Darwiche: Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI 2006: 1143-1148
4		Mark Chavira, Adnan Darwiche: Encoding CNFs to Empower Component Analysis. SAT 2006: 61-74
3		Mark Chavira, Adnan Darwiche, Manfred Jaeger: Compiling relational Bayesian networks for exact inference. Int. J. Approx. Reasoning 42(1-2): 4-20 (2006)
	2005
2		Mark Chavira, Adnan Darwiche: Compiling Bayesian Networks with Local Structure. IJCAI 2005: 1306-1312
1		Mark Chavira, David Allen, Adnan Darwiche: Exploiting Evidence in Probabilistic Inference. UAI 2005: 112-127

Coauthor Index

1	David Allen	[1]
2	Keith Cascio	[10] [11]
3	Arthur Choi	[6] [8]
4	Adnan Darwiche	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
5	Jinbo Huang	[5]
6	Manfred Jaeger	[3]
7	Ole J. Mengshoel	[10] [11]
8	Akop Palyan	[8]
9	Knot Pipatsrisawat	[8]
10	Scott Poll	[10] [11]
11	N. Serdar Uckun	[10] [11]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page