Özgür Sümer’s research while affiliated with University of Chicago and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (4)


Adaptive Exact Inference in Graphical Models
  • Article
  • Full-text available

February 2011

·

59 Reads

·

13 Citations

Journal of Machine Learning Research

Özgür Sümer

·

Umut A. Acar

·

Alexander T. Ihler

·

Many algorithms and applications involve repeatedly solving variations of the same inference problem, for example to introduce new evidence to the model or to change conditional dependencies. As the model is updated, the goal of adaptive inference is to take advantage of previously computed quantities to perform inference more rapidly than from scratch. In this paper, we present algorithms for adaptive exact inference on general graphs that can be used to efficiently compute marginals and update MAP configurations under arbitrary changes to the input factor graph and its associated elimination tree. After a linear time preprocessing step, our approach enables updates to the model and the computation of any marginal in time that is logarithmic in the size of the input model. Moreover, in contrast to max-product our approach can also be used to update MAP configurations in time that is roughly proportional to the number of updated entries, rather than the size of the input model. To evaluate the practical effectiveness of our algorithms, we implement and test them using synthetic data as well as for two real-world computational biology applications. Our experiments show that adaptive inference can achieve substantial speedups over performing complete inference as the model undergoes small changes over time.

Download

Figure 4: The number of changes made to the parameters by the projected subgradient updates, measured on a stereo matching example (Venus) from the experimental section.
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.

January 2011

·

44 Reads

·

5 Citations

Dual-decomposition (DD) methods are quickly becoming important tools for estimating the minimum energy state of a graphical model. DD methods decompose a complex model into a collection of simpler subproblems that can be solved exactly (such as trees), that in combination provide upper and lower bounds on the exact solution. Subproblem choice can play a major role: larger subproblems tend to improve the bound more per iteration, while smaller subproblems enable highly parallel solvers and can benefit from re-using past solutions when there are few changes between iterations. We propose an algorithm that can balance many of these aspects to speed up convergence. Our method uses a cluster tree data structure that has been proposed for adaptive exact inference tasks, and we apply it in this paper to dual-decomposition approximate inference. This approach allows us to process large subproblems to improve the bounds at each iteration, while allowing a high degree of parallelizability and taking advantage of subproblems with sparse updates. For both synthetic inputs and a real-world stereo matching problem, we demonstrate that our algorithm is able to achieve significant improvement in convergence time. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.


Adaptive Inference on General Graphical Models

January 2008

·

29 Reads

·

22 Citations

Many algorithms and applications involve re- peatedly solving variations of the same inference problem; for example we may want to introduce new evidence to the model or perform updates to conditional dependencies. The goal of adap- tive inference is to take advantage of what is pre- served in the model and perform inference more rapidly than from scratch. In this paper, we de- scribe techniques for adaptive inference on gen- eral graphs that support marginal computation and updates to the conditional probabilities and dependencies in logarithmic time. We give ex- perimental results for an implementation of our algorithm, and demonstrate its potential perfor- mance benefit in the study of protein structure.


Citations (4)


... These works show that batch-dynamic algorithms can achieve tight work-efficiency bounds without sacrificing parallelism. A sequential version of change propagation was initially developed in 2004 [3] and has lead to the development of a unified sequential dynamic-tree data structures capable of supporting both subtree and path queries [4], as well as new dynamic algorithms for geometric problems [5,7] and machine learning [8,47]. These results, however, all assumed a sequential model of computation. ...

Reference:

Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees
Adaptive Exact Inference in Graphical Models

Journal of Machine Learning Research

... After a change of the subject program (program under analysis), an incremental analysis updates a previous analysis result instead of re-analyzing the code from scratch. This way, incrementality can provide orderof-magnitude speedups [Bhatotia et al. 2011;Sumer et al. 2008] because small input changes only trigger small output changes, with correspondingly small computational cost. Prior research has shown that incrementality is particularly useful for program analysis. ...

Efficient Bayesian Inference for Dynamically Changing Graphs.

... Previous work extended existing languages including C [Hammer et al. 2009 and ML Ley-Wild et al. 2008] to support self-adjusting computation. Evaluations showed that the approach can achieve asymptotically efficient updates for a reasonably broad range of benchmarks , and even help solve major open problems in a range of domains including computational geometry [Acar et al. 2010] and machine learning [Sümer et al. 2011]. More recent work generalized the approach to support parallel computation on multicores, taking advantage of the performance benefits of parallelism and incremental computation at the same time by exploiting structural similarities between them [Burckhardt et al. 2011;. ...

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.

... Fortunately, software implementations of algorithms that won the recent Uncertainty in Artificial Intelligence (UAI) inference competition (Dechter,R. personal communication), namely variations on adaptive inference and SampleSearch (Acar et al., 2012;Gogate and Dechter, 2011), gave good results on our model. By default, we used adaptive inference with conditioning (ai_cond) when evaluating our test predictions. ...

Adaptive Inference on General Graphical Models