Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mark Chavira"'
Publikováno v:
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans. 40:874-885
We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i.e., the Advanced Diagnostic and Prognostic Testbed (ADAPT) located at the NASA A
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation. 4:191-217
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based on formula compilation that allows it to search in a reduced search spac
Autor:
Mark Chavira, Adnan Darwiche
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540372066
SAT
SAT
Recent algorithms for model counting and compilation work by decomposing a CNF into syntactically independent components through variable splitting, and then solving the components recursively and independently. In this paper, we observe that syntact
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60ea59a4a9bf5ba92a6de072f296d8ce
https://doi.org/10.1007/11814948_9
https://doi.org/10.1007/11814948_9
Publikováno v:
Jaeger, M, Chavira, M & Darwiche, A 2004, Compiling Relational Bayesian Networks for Exact Inference . in P L (Editor) (ed.), Proceedings of the Second European Workshop on Probabilistic Graphical Models . SECOND EUROPEAN WORKSHOP ON PROBABILISTIC GRAPHICALMODELS 2004 (PGM '04), Leiden, Netherlands, 04/10/2004 .
Jaeger, M, Darwiche, A & Chavira, M 2006, ' Compiling Relational Bayesian Networks for Exact Inference ', International Journal of Approximate Reasoning, vol. 42, no. 1-2, pp. 4-20 .
Chavira, M D; Darwiche, A; & Jaeger, M. (2006). Compiling relational Bayesian networks for exact inference. International Journal of Approximate Reasoning, 42(1-2), 4-20. UCLA: Retrieved from: http://www.escholarship.org/uc/item/2ts2n8nt
Aalborg University
Jaeger, M, Darwiche, A & Chavira, M 2006, ' Compiling Relational Bayesian Networks for Exact Inference ', International Journal of Approximate Reasoning, vol. 42, no. 1-2, pp. 4-20 .
Chavira, M D; Darwiche, A; & Jaeger, M. (2006). Compiling relational Bayesian networks for exact inference. International Journal of Approximate Reasoning, 42(1-2), 4-20. UCLA: Retrieved from: http://www.escholarship.org/uc/item/2ts2n8nt
Aalborg University
We describe in this paper a system for exact inference with relational Bayesian networks as defined in the publicly available Primula tool. The system is based on compiling propositional instances of relational Bayesian networks into arithmetic circu