List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Branch and bound for piecewise linear neural network verification (available as arXiv preprint) | 2020-10-05 | Paper |
| Branch and bound for piecewise linear neural network verification | 2020-10-05 | Paper |
| Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials SIAM Journal on Imaging Sciences | 2019-10-09 | Paper |
| Learning shape analysis Static Analysis | 2019-09-16 | Paper |
| Task-Specific Image Partitioning IEEE Transactions on Image Processing | 2017-10-27 | Paper |
| Time-sensitive Bayesian information aggregation for crowdsourcing systems The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
| scientific article; zbMATH DE number 6536235 (Why is no real title available?) | 2016-01-27 | Paper |
| Faster and more dynamic maximum flow by incremental breadth-first search Algorithms - ESA 2015 | 2015-11-19 | Paper |
| Inference methods for CRFs with co-occurrence statistics International Journal of Computer Vision | 2013-08-20 | Paper |
Research outcomes over time
This page was built for person: Pushmeet Kohli
