Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Rem Yang"'
Autor:
Jayanth Shenoy, Xingjian Davis Zhang, Bill Tao, Shlok Mehrotra, Rem Yang, Han Zhao, Deepak Vasisht
Publikováno v:
Remote Sensing, Vol 16, Iss 18, p 3470 (2024)
Satellite image time series (SITS) segmentation is crucial for many applications, like environmental monitoring, land cover mapping, and agricultural crop type classification. However, training models for SITS segmentation remains a challenging task
Externí odkaz:
https://doaj.org/article/d44c979566314e8ca6c50b6b58ae2679
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1007-1035
We present a novel, general construction to abstractly interpret higher-order automatic differentiation (AD). Our construction allows one to instantiate an abstract interpreter for computing derivatives up to a chosen order. Furthermore, since our co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b83ce4db3a9521d4e26489595e3e2d73
https://doi.org/10.1145/3563324
https://doi.org/10.1145/3563324
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-30
We present a novel abstraction for bounding the Clarke Jacobian of a Lipschitz continuous, but not necessarily differentiable function over a local input region. To do so, we leverage a novel abstract domain built upon dual numbers, adapted to soundl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3061b33fa6c7b059ccdf82e6d05d227
https://doi.org/10.1145/3498718
https://doi.org/10.1145/3498718
Publikováno v:
DAC
As Edge and IoT computing devices process noisy data or make decisions in uncertain environments, they require frameworks for inexpensive, yet accurate probabilistic inference. Probabilistic programming has emerged as a powerful way for developers to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3082b0c70220a8be3516adcc2916141b
https://doi.org/10.1109/dac18074.2021.9586276
https://doi.org/10.1109/dac18074.2021.9586276