Please note that IST 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.
2940 Publications
2011 | Journal Article | IST-REx-ID: 3320 | 
Structured learning and prediction in computer vision
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.
View
| Files available
| DOI
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.
2011 | Conference Poster | IST-REx-ID: 3322
Maximum margin multi label structured prediction
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems, 2011.
View
| Files available
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems, 2011.
2011 | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
2011 | Conference Paper | IST-REx-ID: 3324 |
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
View
| DOI
| Download Submitted Version (ext.)
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
2011 | Conference Paper | IST-REx-ID: 3325
Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
View
| DOI
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
2011 | Conference Paper | IST-REx-ID: 3326 |
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
2011 | Conference Paper | IST-REx-ID: 3328 |
A generic algebraic kernel for non linear geometric applications
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
View
| DOI
| Download Published Version (ext.)
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
2011 | Conference Paper | IST-REx-ID: 3329 |
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.
View
| Files available
| DOI
| Download Preprint (ext.)
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.
2011 | Conference Paper | IST-REx-ID: 3330 |
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
2011 | Journal Article | IST-REx-ID: 3332 |
A note on the complexity of real algebraic hypersurfaces
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
View
| Files available
| DOI
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.