David Mojzísek

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Robust Classification

Independently Moving Objects

Image Representation

Modulo Theories

Top Venues

Publications

David Mojzísek, Jan Hula
Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems. ICPRAM (2024)
David Mojzísek, Jan Hula
Image Classifier with Dynamic Set of Known Classes. ITAT (2022)
Jan Hula, David Mojzísek, David Adamczyk
3D Shapes Classification Using Intermediate Parts Representation. IPMU (2) (2022)
Jan Hula, David Adamczyk, David Mojzísek, Vojtech Molek
Segmenting out Generic Objects in Monocular Videos. ITAT (2021)
Jan Hula, David Mojzísek, Mikolás Janota
Graph Neural Networks for Scheduling of SMT Solvers. ICTAI (2021)
Jan Hula, David Mojzísek, David Adamczyk, Radek Cech
Acquiring Custom OCR System with Minimal Manual Annotation. DSMP (2020)