Dmitry Strabykin

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 2

Top Topics

Probabilistic Inference

Segmentation Method

Prior Information

Top Venues

Publications

Anastasia Bardovskaya, Gennadiy Chistyakov, Maria Dolzhenkova, Dmitry Strabykin
The Method of Deductive Inference of Consequences with the Scheme Construction. CSOC (2) (2019)
Dmitry Strabykin, Vasily Meltsov, Maria Dolzhenkova, Gennady Chistyakov, Alexey Kuvaev
Formal Verification and Accelerated Inference. CSOC (1) (2016)