Vasily Meltsov

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Item Based Collaborative Filtering

Top Venues

Publications

Vasily Meltsov, Alexey Lapitsky, Nikolay Mustafin
Hardware Implementation of of Small-Sized MODE-S Signal Receivers. MICSECS (2019)
Vasily Meltsov, Pavel Novokshonov, Dmitry Repkin, Alexander Nechaev, Nataly Zhukova
Development of an Intelligent Module for Monitoring and Analysis of Client's Bank Transactions. FRUCT (2019)
Alexander Nechaev, Nataly Zhukova, Vasily Meltsov
Utilizing Metadata to Select a Recommendation Algorithm for a User or an Item. MICSECS (2019)
Tianxing Man, Nataly Zhukova, Vasily Meltsov, Yulia A. Shichkina
A Knowledge-Based Computational Environment for Real-World Data Processing. ICCSA (1) (2019)
Dmitry Strabykin, Vasily Meltsov, Maria Dolzhenkova, Gennady Chistyakov, Alexey Kuvaev
Formal Verification and Accelerated Inference. CSOC (1) (2016)