Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9087 Publications


2011 | Conference Paper | IST-REx-ID: 3206
Osokin A, Vetrov D, Kolmogorov V. Submodular decomposition framework for inference in associative Markov networks with global constraints. In: IEEE; 2011:1889-1896. doi:10.1109/CVPR.2011.5995361
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3205
Tarlow D, Batra D, Kohli P, Kolmogorov V. Dynamic tree block coordinate ascent. In: Omnipress; 2011:113-120.
View | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3207
Vicente S, Rother C, Kolmogorov V. Object cosegmentation. In: IEEE; 2011:2217-2224. doi:10.1109/CVPR.2011.5995530
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3240
Barak B, Dodis Y, Krawczyk H, et al. Leftover hash lemma revisited. In: Vol 6841. Springer; 2011:1-20. doi: 10.1007/978-3-642-22792-9_1
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16
View | DOI
 

Search

Filter Publications