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.
174 Publications
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: 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: 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: 2888
Henzinger TA. Quantitative reactive models. In: 15th International Conference on Model Driven Engineering Languages and Systems. Vol 7590. Springer; 2012:1-2. doi:10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2971
Zankl G, Haxhimusa Y, Ion A. Interactive labeling of image segmentation hierarchies. In: 34th DAGM and 36th OAGM Symposium. Vol 7476. Springer; 2012:11-20. doi:10.1007/978-3-642-32717-9_2
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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
2011 | Published | Conference Paper | IST-REx-ID: 3344
Chatterjee K. Graph games with reachability objectives. In: 5th International Workshop on Reachability Problems. Vol 6945. Springer; 2011:1-1. doi:10.1007/978-3-642-24288-5_1
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: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: 13th International Conference on Fundamental Approaches to Software Engineering. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. In: 11th European Conference on Computer Vision. Vol 6312. Springer; 2010:566-579. doi:10.1007/978-3-642-15552-9_41
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
2006 | Published | Conference Paper | IST-REx-ID: 18323
Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. Matching two-dimensional articulated shapes using generalized multidimensional scaling. In: 4th International Conference on Articulated Motion and Deformable Objects. Vol 4069. Springer Nature; 2006:48-57. doi:10.1007/11789239_6
View
| DOI