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.

492 Publications


2015 | Published | Conference Paper | IST-REx-ID: 1838 | OA
Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. 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 R, Korman S, Bronstein AM, Avidan S. Inverting RANSAC: Global model detection via inlier rate estimation. In: 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE; 2015. doi:10.1109/cvpr.2015.7299161
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18387
Bian X, Krim H, Bronstein AM, Dai L. Sparse null space basis pursuit and analysis dictionary learning for high-dimensional data analysis. In: 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE; 2015. doi:10.1109/icassp.2015.7178678
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. 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 B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022. doi:10.1109/TAC.2014.2364971
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 18400
Menashe O, Bronstein AM. Real-time compressed imaging of scattering volumes. In: 2014 IEEE International Conference on Image Processing (ICIP). IEEE; 2015. doi:10.1109/icip.2014.7025264
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18401
Draelos M, Qiu Q, Bronstein AM, Sapiro G. Intel realsense = Real low cost gaze. In: 2015 IEEE International Conference on Image Processing (ICIP). IEEE; 2015. doi:10.1109/icip.2015.7351256
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov V. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2015;37(5):919-930. 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, Bronstein AM, Sapiro G. Learning efficient sparse and low rank models. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2015;37(9):1821-1833. 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 D, Kovnatsky A, Bronstein MM, Glashoff K, Bronstein AM. Multimodal manifold snalysis by simultaneous diagonalization of Laplacians. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2015;37(12):2505-2517. doi:10.1109/tpami.2015.2408348
View | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 18424 | OA
Korman S, Litman R, Avidan S, Bronstein AM. Probably approximately symmetric: Fast rigid symmetry detection with global guarantees. Computer Graphics Forum. 2015;34(1):2-13. doi:10.1111/cgf.12454
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18425
Biasotti S, Cerri A, Bronstein AM, Bronstein M. Recent trends, applications, and perspectives in 3D shape similarity assessment. Computer Graphics Forum. 2015;35(6):87-119. doi:10.1111/cgf.12734
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 18436 | OA
Haim H, Bronstein AM, Marom E. Computational multi-focus imaging combining sparse model with color dependent phase mask. Optics Express. 2015;23(19):24547-24556. doi:10.1364/oe.23.024547
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 18439 | OA
Qiu Q, Chang Z, Draelos M, Chen J, Bronstein AM, Sapiro G. Low-cost gaze and pulse analysis using realsense. In: 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, Yau H. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 2015;17(8):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 S, Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 2015;11(1). 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 K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium on Automata, Languages, and Programming. Vol 9135. Springer Nature; 2015:121-133. 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 K, Komárková Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. 2015:244-256. 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 K, Komarkova Z, Kretinsky J. 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
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v1-1
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed