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.
155 Publications
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda A, Bronstein MM, Bronstein AM, Horaud RP. Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In: Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:665–676. doi:10.1007/978-3-642-24785-9_56
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 5745 | 
Gupta A. Improved single pass algorithms for resolution proof reduction. In: 10th International Symposium on Automated Technology for Verification and Analysis. Vol 7561. Springer Nature; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. Deformable shape retrieval by learning diffusion kernels. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:689-700. doi:10.1007/978-3-642-24785-9_58
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. A correspondence-less approach to matching of deformable shapes. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:592-603. doi:10.1007/978-3-642-24785-9_50
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:725-736. doi:10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. Discrete minimum distortion correspondence problems for non-rigid shape matching. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Berlin, Heidelberg: Springer Nature; 2012:580-591. doi:10.1007/978-3-642-24785-9_49
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. Group-valued regularization for analysis of articulated motion. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:52-62. doi:10.1007/978-3-642-33863-2_6
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. Equi-affine invariant geometries of articulated objects. In: 15th International Workshop on Theoretical Foundations of Computer Vision. Vol 7474. Springer Nature; 2012:177-190. doi:10.1007/978-3-642-34091-8_8
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. Photometric heat kernel signatures. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:616-627. doi:10.1007/978-3-642-24785-9_52
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany O, Bronstein AM, Bronstein MM. Putting the pieces together: Regularized multi-part shape matching. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:1-11. doi:10.1007/978-3-642-33863-2_1
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein AM, ter Haar Romeny BM, Bronstein A, Bronstein MM, eds. Scale Space and Variational Methods in Computer Vision. Vol 6667. 1st ed. Berlin, Heidelberg: Springer Nature; 2012. doi:10.1007/978-3-642-24785-9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 18338
Bronstein AM, Bronstein MM. Spatially-sensitive affine-invariant image descriptors. In: 11th European Conference on Computer Vision. Vol 6312. Springer Nature; 2010:197–208. doi:10.1007/978-3-642-15552-9_15
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic Bound Computation for loops. In: Clarke EM, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning. Vol 6355. LNCS. Berlin, Heidelberg: Springer Nature; 2010:103-118. doi:10.1007/978-3-642-17511-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2006 | Published | Conference Paper | IST-REx-ID: 18320
Bronstein AM, Bronstein MM, Zibulevsky M. On separation of semitransparent dynamic images from static background. In: 6th International Conference on Independent Component Analysis and Signal Separation. Vol 3889. Springer Nature; 2006:934-940. doi:10.1007/11679363_116
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18321
Bronstein AM, Bronstein MM, Kimmel R. Robust expression-invariant face recognition from partially missing data. In: 9th European Conference on Computer Vision. Vol 3953. Springer Nature; 2006. doi:10.1007/11744078_31
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18322
Bronstein AM, Bronstein MM, Kimmel R. Facetoface: An isometric model for facial animation. In: 4th International Conference on Articulated Motion and Deformable Objects. Vol 4069. Springer Nature; 2006:38-47. doi:10.1007/11789239_5
View
| DOI