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, Guy, et al. “Group-Valued Regularization for Analysis of Articulated Motion.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer Nature, 2012, pp. 52–62, doi:10.1007/978-3-642-33863-2_6.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv, Dan, et al. “Equi-Affine Invariant Geometries of Articulated Objects.” 15th International Workshop on Theoretical Foundations of Computer Vision, vol. 7474, Springer Nature, 2012, pp. 177–90, doi:10.1007/978-3-642-34091-8_8.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky, Artiom, et al. “Photometric Heat Kernel Signatures.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 616–27, doi:10.1007/978-3-642-24785-9_52.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany, Or, et al. “Putting the Pieces Together: Regularized Multi-Part Shape Matching.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer Nature, 2012, pp. 1–11, doi:10.1007/978-3-642-33863-2_1.
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein, Alfred M., et al., editors. Scale Space and Variational Methods in Computer Vision. 1st ed., vol. 6667, Springer Nature, 2012, doi:10.1007/978-3-642-24785-9.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10905 | 
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, 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, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” 10th International Symposium on Automated Technology for Verification and Analysis, vol. 7561, Springer Nature, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2888
Henzinger, Thomas A. “Quantitative Reactive Models.” 15th International Conference on Model Driven Engineering Languages and Systems, vol. 7590, Springer, 2012, pp. 1–2, doi:10.1007/978-3-642-33666-9_1.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2971
Zankl, Georg, et al. “Interactive Labeling of Image Segmentation Hierarchies.” 34th DAGM and 36th OAGM Symposium, vol. 7476, Springer, 2012, pp. 11–20, doi:10.1007/978-3-642-32717-9_2.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, 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, Nicole M., et al. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang et al., vol. 6658, Springer, 2011, pp. 215–24, doi:10.1007/978-3-642-20844-7_22.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.” 5th International Workshop on Reachability Problems, vol. 6945, Springer, 2011, pp. 1–1, doi:10.1007/978-3-642-24288-5_1.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 18338
Bronstein, Alex M., and Michael M. Bronstein. “Spatially-Sensitive Affine-Invariant Image Descriptors.” 11th European Conference on Computer Vision, vol. 6312, Springer Nature, 2010, pp. 197–208, doi:10.1007/978-3-642-15552-9_15.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. “Analyzing the Impact of Change in Multi-Threaded Programs.” 13th International Conference on Fundamental Approaches to Software Engineering, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3794
Lampert, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning.” 11th European Conference on Computer Vision, vol. 6312, Springer, 2010, pp. 566–79, doi:10.1007/978-3-642-15552-9_41.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc, Régis, et al. “ABC: Algebraic Bound Computation for Loops.” Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, vol. 6355, Springer Nature, 2010, pp. 103–18, 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, Alex M., et al. “On Separation of Semitransparent Dynamic Images from Static Background.” 6th International Conference on Independent Component Analysis and Signal Separation, vol. 3889, Springer Nature, 2006, pp. 934–40, doi:10.1007/11679363_116.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18321
Bronstein, Alex M., et al. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” 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, Alex M., et al. “Facetoface: An Isometric Model for Facial Animation.” 4th International Conference on Articulated Motion and Deformable Objects, vol. 4069, Springer Nature, 2006, pp. 38–47, doi:10.1007/11789239_5.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18323
Bronstein, Alex M., et al. “Matching Two-Dimensional Articulated Shapes Using Generalized Multidimensional Scaling.” 4th International Conference on Articulated Motion and Deformable Objects, vol. 4069, Springer Nature, 2006, pp. 48–57, doi:10.1007/11789239_6.
View
| DOI