Martin Babka

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Semantic Segmentation

Linear Transformation

Labeling Process

Computational Issues

Top Venues

SERA (selected papers)

Publications

Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks
On Online Labeling with Large Label Set. SIAM J. Discret. Math. 33 (3) (2019)
Martin Babka
A Note On the Size of Largest Bins Using Placement With Linear Transformations. CoRR (2018)
Martin Babka
Expected number of uniformly distributed balls in a most loaded bin using placement with simple linear functions. CoRR (2015)
Martin Babka, Tomás Balyo, Ondrej Cepek, Stefan Gurský, Petr Kucera, Václav Vlcek
Complexity issues related to propagation completeness. Artif. Intell. 203 (2013)
Martin Babka, Tomás Balyo, Jaroslav Keznikl
Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. SERA (selected papers) (2013)
Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks
On Online Labeling with Polynomially Many Labels. ESA (2012)
Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks
On Online Labeling with Polynomially Many Labels CoRR (2012)