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.

12274 Publications


2015 | Published | Journal Article | IST-REx-ID: 18371
Aflalo, Yonathan, et al. “On Convex Relaxation of Graph Isomorphism.” Proceedings of the National Academy of Sciences, vol. 112, no. 10, National Academy of Sciences, 2015, pp. 2942–47, doi:10.1073/pnas.1401651112.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Conference Paper | IST-REx-ID: 1838 | OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 18380
Litman, Roee, et al. “Inverting RANSAC: Global Model Detection via Inlier Rate Estimation.” 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 7299161, IEEE, 2015, doi:10.1109/cvpr.2015.7299161.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18387
Bian, Xiao, et al. “Sparse Null Space Basis Pursuit and Analysis Dictionary Learning for High-Dimensional Data Analysis.” 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 7178678, IEEE, 2015, doi:10.1109/icassp.2015.7178678.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 18400
Menashe, Ohad, and Alex M. Bronstein. “Real-Time Compressed Imaging of Scattering Volumes.” 2014 IEEE International Conference on Image Processing (ICIP), 7025264, IEEE, 2015, doi:10.1109/icip.2014.7025264.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18401
Draelos, Mark, et al. “Intel Realsense = Real Low Cost Gaze.” 2015 IEEE International Conference on Image Processing (ICIP), 7351256, IEEE, 2015, doi:10.1109/icip.2015.7351256.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18415 | OA
Sprechmann, P., et al. “Learning Efficient Sparse and Low Rank Models.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 9, IEEE, 2015, pp. 1821–33, doi:10.1109/tpami.2015.2392779.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18416
Eynard, Davide, et al. “Multimodal Manifold Snalysis by Simultaneous Diagonalization of Laplacians.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 12, IEEE, 2015, pp. 2505–17, doi:10.1109/tpami.2015.2408348.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 18424 | OA
Korman, Simon, et al. “Probably Approximately Symmetric: Fast Rigid Symmetry Detection with Global Guarantees.” Computer Graphics Forum, vol. 34, no. 1, Wiley, 2015, pp. 2–13, doi:10.1111/cgf.12454.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18425
Biasotti, S., et al. “Recent Trends, Applications, and Perspectives in 3D Shape Similarity Assessment.” Computer Graphics Forum, vol. 35, no. 6, Wiley, 2015, pp. 87–119, doi:10.1111/cgf.12734.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 18436 | OA
Haim, Harel, et al. “Computational Multi-Focus Imaging Combining Sparse Model with Color Dependent Phase Mask.” Optics Express, vol. 23, no. 19, Optica Publishing Group, 2015, pp. 24547–56, doi:10.1364/oe.23.024547.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 18439 | OA
Qiu, Qiang, et al. “Low-Cost Gaze and Pulse Analysis Using Realsense.” Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare, ICST, 2015, doi:10.4108/eai.14-10-2015.2261657.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1508 | OA
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society, vol. 17, no. 8, EMS Press, 2015, pp. 1927–2036, doi:10.4171/JEMS/548.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, 20, International Federation for Computational Logic, 2015, doi:10.2168/LMCS-11(1:20)2015.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1610 | OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” 42nd International Colloquium on Automata, Languages, and Programming, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1657 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed