Martin Capek

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 2

Top Topics

Propositional Satisfiability

Clause Learning

Top Venues

IEEE Trans. Medical Imaging

Publications

Martin Capek, Pavel Surynek
DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies. SOCS (2021)
Martin Capek, Pavel Surynek
DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies. CoRR (2021)
Jan Michalek, Martin Capek
-TV Based Registration of Physical Slices With Discontinuities in Microscopy. IEEE Trans. Medical Imaging 32 (5) (2013)
Martin Capek, Jan Michalek, Jiri Janacek, Lucie Kubínová, Karel Hána, Pavel Smrcka
Compensation of the Light Attenuation with Depth of Images Captured by a Confocal Microscope Using a MRF Deformation Model and Graph Cuts. Eurographics (Short Papers) (2008)
Martin Capek, Lucie Kubínová, Karel Hána, Pavel Smrcka
Compensation of the contrast and brightness attenuation with depth in confocal microscopy. SCCG (2005)
Martin Capek, Jiri Hozman
Alignment of 3-D medical data sets based on an efficient optimizer and fast voxel recomputation. ISSPA (2) (2003)
Martin Capek, Rainer Wegenkittl, Andreas König, Werner Jaschke, Reinhart Sweeny, Reto J. Bale
Multimodal Medical Volume Registration Based on Spherical Markers. WSCG (2001)
Martin Capek, H. Trojanová
Two-Stage Multimodality Medical Volume Registration. WSCG (2000)
Martin Capek, Ivan Krekule
Alignment of adjacent picture frames captured by a CLSM. IEEE Trans. Inf. Technol. Biomed. 3 (2) (1999)
Martin Capek
Registration and Composition of Stacks of Serial Optical Slices Captured by a Confocal Microscope. CAIP (1999)