|
Arthur ChoiResearch AssociateComputer Science Department University of California, Los Angeles aychoi(Shift-2)cs.ucla.edu |
|
Born in Atlanta, I hung out in Ithaca, Now in Los Angeles. |
|
|
I am a member of Adnan Darwiche's Automated Reasoning group. Check out his new book!
Interests: Bayesian networks and probabilistic graphical models; exact and approximate inference, particularly loopy belief propagation and related methods;
Relevant to my interests: counting; diagnosis and prognosis; logical reasoning and knowledge compilation; computability and complexity; computational biology
What I ate yesterday: at the bombshelter
Papers
Yexiang Xue, Arthur Choi, and Adnan Darwiche. Basing Decisions on Sentences in Decision Diagramss. To appear in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI), 2012. pdf
Arthur Choi, Yexiang Xue, and Adnan Darwiche. Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions. To appear in the International Journal of Approximate Reasoning (IJAR), 2012. pdf
Arthur Choi, Lu Zheng, Adnan Darwiche, Ole J. Mengshoel. A Tutorial on Bayesian Networks for System Health Management. In Machine Learning and Knowledge Discovery for Engineering Systems Health Management, Chapter 2, pages 39-66, 2012. pdf
Arthur Choi, Khaled S. Refaat and Adnan Darwiche. EDML: A Method for Learning Parameters in Bayesian Networks. In Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI), pages 115-124, 2011. pdf
Arthur Choi and Adnan Darwiche. Relax, Compensate and then Recover. In New Frontiers in Artificial Intelligence, volume 6797 of Lecture Notes in Computer Science, pages 167-180, 2011. pdf
Arthur Choi and Adnan Darwiche. On a Discrete Dirichlet Model. In Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM), pages 65-72, 2010. pdf
Adnan Darwiche and Arthur Choi. Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions under Noisy Sensors. In Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM), pages 113-120, 2010. pdf
Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin. Optimal Algorithms for Haplotype Assembly From Whole-Genome Sequence Data. In Proceedings of the 18th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB), pages 183-190, 2010. pdf
Arthur Choi and Adnan Darwiche. Relax then Compensate: On Max-Product Belief Propagation and More. In Proceedings of the Twenty-Third Annual Conference on Neural Information Processing Systems (NIPS), pages 351-359, 2009. pdf
Arthur Choi, Trevor Standley and Adnan Darwiche. Approximating Weighted Max-SAT Problems by Compensating for Relaxations. In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP), pages 211-225, 2009. pdf
Arthur Choi, Noah Zaitlen, Buhm Hahn, Knot Pipatsrisawat, Adnan Darwiche, and Eleazar Eskin. Efficient Genome Wide Tagging by Reduction to SAT. In Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI), pages 135-147, 2008. pdf
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, and Adnan Darwiche. Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. In Journal on Satisfiability, Boolean Modeling and Computation (JSAT), pages 191-217, 2008. pdf
Arthur Choi and Adnan Darwiche. Approximating the Partition Function by Deleting and then Correcting for Model Edges. In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI), pages 79-87, 2008. pdf
Arthur Choi and Adnan Darwiche. Focusing Generalizations of Belief Propagation on Targeted Queries. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), pages 1024-1030, 2008. pdf
Arthur Choi and Adnan Darwiche. Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), pages 1031-1036, 2008. pdf
Arthur Choi and Adnan Darwiche. Approximating the Partition Function by Deleting and then Correcting for Model Edges (Extended Abstract). Presented at NIPS Workshop on Approximate Bayesian Inference in Continuous/Hybrid Systems, 2007. pdf
Arthur Choi, Mark Chavira and Adnan Darwiche. Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. In Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI), pages 57-66, 2007. pdf
Arthur Choi and Adnan Darwiche. A Variational Approach for Approximating Bayesian Networks by Edge Deletion. In Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI), pages 80-89, 2006. pdf bib talk
Arthur Choi and Adnan Darwiche. An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), pages 1107-1114, 2006. pdf bib talk
Arthur Choi, Hei Chan, and Adnan Darwiche. On Bayesian Network Approximation by Edge Deletion. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI), pages 128-135, 2005. pdf bib
|
|
|