Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Matvey Soloviev"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 143, Iss Proc. DCM 2012, Pp 54-66 (2014)
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of st
Externí odkaz:
https://doaj.org/article/bd5534dc480b475a8349678468dd6b36
Publikováno v:
FODS
Ensembles of decision trees perform well on many problems, but are not interpretable. In contrast to existing approaches in interpretability that focus on explaining relationships between features and predictions, we propose an alternative approach t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9e029e0cc20febcb2c93f39ccaca656
https://doi.org/10.1145/3412815.3416893
https://doi.org/10.1145/3412815.3416893
Autor:
Matvey Soloviev, Joseph Y. Halpern
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula $\varphi$ after performing a bounded number of noisy tests of the truth valu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad1b75d547571da4bb9e0e9984eea766
Autor:
Matvey Soloviev, Dexter Kozen
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 125:100734
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::154dff083951618a45271f77d57298b7
https://doi.org/10.1016/j.jlamp.2021.100734
https://doi.org/10.1016/j.jlamp.2021.100734
Autor:
Matvey Soloviev, Joseph Halpern
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence. 32
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula φ after performing a bounded number of noisy tests of the truth values of v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5ea04b460fbf8f3f139414aac759611
https://doi.org/10.1609/aaai.v32i1.12122
https://doi.org/10.1609/aaai.v32i1.12122
Autor:
Matvey Soloviev, Dexter Kozen
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030021481
RAMiCS
RAMiCS
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28db841b5455ed8cf631d8a4c96c0718
https://doi.org/10.1007/978-3-030-02149-8_18
https://doi.org/10.1007/978-3-030-02149-8_18
Publikováno v:
CVPR
We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human performance on this task is based both on prior knowledge about plausible sh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c93e473c6ec8e425415f413b7bc4387
http://arxiv.org/abs/1606.04590
http://arxiv.org/abs/1606.04590
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 143, Iss Proc. DCM 2012, Pp 54-66 (2014)
DCM
DCM
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::345e1baa774ce003988f1826be424204
Autor:
SOLOVIEV, MATVEY1 msoloviev@cs.cornell.edu, HALPERN, JOSEPH Y.1 halpern@cs.cornell.edu
Publikováno v:
Journal of the ACM. May2022, Vol. 69 Issue 3, p1-37. 37p.
Autor:
BO LI1,2 prclibo@gmail.com, PENG QI3 qipeng.thu@gmail.com, BO LIU4 kfliubo@gmail.com, SHUAI DI1 dishuai@jd.com, JINGEN LIU1 jingenliu@gmail.com, JIQUAN PEI1 peijiquan@jd.com, JINFENG YI5 jinfengyi.ustc@gmail.com, BOWEN ZHOU2,5 zhoubowen@tsinghua.edu.cn
Publikováno v:
ACM Computing Surveys. Sep2023, Vol. 55 Issue 9, p1-46. 46p.