Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Daniel Tarlow"'
Autor:
Zimin Chen, Edward Aftandilian, Daniel Tarlow, Pierre-Antoine Manzagol, Charles Sutton, Andrew Rice, Subhodeep Moitra
Publikováno v:
ICSE (Workshops)
Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new deep learning architecture, called Graph2Diff, for automatically loca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fc3a5a826763f82b4580e6dd1fefb57
http://arxiv.org/abs/1911.01205
http://arxiv.org/abs/1911.01205
Publikováno v:
Static Analysis ISBN: 9783319667058
SAS
SAS
We present a data-driven verification framework to automatically prove memory safety of heap-manipulating programs. Our core contribution is a novel statistical machine learning technique that maps observed program states to (possibly disjunctive) se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e75f067831c516d453536e6872b155d
https://doi.org/10.1007/978-3-319-66706-5_4
https://doi.org/10.1007/978-3-319-66706-5_4
Publikováno v:
Perturbations, Optimization, and Statistics ISBN: 9780262337939
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60da2d99c075b3f54514771060b60338
https://doi.org/10.7551/mitpress/10761.003.0004
https://doi.org/10.7551/mitpress/10761.003.0004
Publikováno v:
Perturbations, Optimization, and Statistics ISBN: 9780262337939
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ecda74120223ce2f5843d2094754ec70
https://doi.org/10.7551/mitpress/10761.003.0002
https://doi.org/10.7551/mitpress/10761.003.0002
Autor:
Sameh Khamis, David Joseph Tan, Thomas J. Cashman, Andrew Fitzgibbon, Jonathan Taylor, Daniel Tarlow, Shahram Izadi, Jamie Shotton
Publikováno v:
CVPR
We present a fast, practical method for personalizing a hand shape basis to an individual user's detailed hand shape using only a small set of depth images. To achieve this, we minimize an energy based on a sum of render-and-compare cost functions ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e482d1ca975500a5f2c2840a4a40bbe
https://doi.org/10.1109/cvpr.2016.605
https://doi.org/10.1109/cvpr.2016.605
Publikováno v:
IEEE transactions on pattern analysis and machine intelligence. 39(1)
When building vision systems that predict structured objects such as image segmentations or human poses, a crucial concern is performance under task-specific evaluation measures (e.g., Jaccard Index or Average Precision). An ongoing research challeng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::124155a9224a4f017cfff42f9ec4767a
https://pubmed.ncbi.nlm.nih.gov/26960219
https://pubmed.ncbi.nlm.nih.gov/26960219
Publikováno v:
International Journal of Computer Vision. 88:214-237
Humans demonstrate a remarkable ability to parse complicated motion sequences into their constituent structures and motions. We investigate this problem, attempting to learn the structure of one or more articulated objects, given a time series of two
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::640bb8874c7846141806de4ade2e850f
https://doi.org/10.1007/s11263-010-0325-y
https://doi.org/10.1007/s11263-010-0325-y
Autor:
Marcin Szymczak, Nicolas Rolland, Daniel Tarlow, Andrew D. Gordon, Thore Graepel, Claudio V. Russo, Johannes Borgström
Publikováno v:
Programming Languages and Systems ISBN: 9783662466681
ESOP
Gordon, A D, Russo, C V, Szymczak, M, Borgström, J, Rolland, N, Graepel, T & Tarlow, D 2015, Probabilistic Programs as Spreadsheet Queries . in Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings . vol. 9032, Springer Berlin Heidelberg, pp. 1-25 . https://doi.org/10.1007/978-3-662-46669-8_1
ESOP
Gordon, A D, Russo, C V, Szymczak, M, Borgström, J, Rolland, N, Graepel, T & Tarlow, D 2015, Probabilistic Programs as Spreadsheet Queries . in Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings . vol. 9032, Springer Berlin Heidelberg, pp. 1-25 . https://doi.org/10.1007/978-3-662-46669-8_1
We describe the design, semantics, and implementation of a probabilistic programming language where programs are spreadsheet queries. Given an input database consisting of tables held in a spreadsheet, a query constructs a probabilistic model conditi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c888a42e2d6cd32c10ce6dc87a6b782
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-252447
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-252447
Publikováno v:
Perturbations, Optimization, and Statistics. :ix-x
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66649141751cdfba9b12314fa276fe3e
https://doi.org/10.7551/mitpress/10761.003.0001
https://doi.org/10.7551/mitpress/10761.003.0001