1 citations · 1 across the 3 of their papers we have counts for
4 papers
napari-TurboBox: Interactive Multi-Viewer Bounding Box Annotation for AI-Guided Volumetric Bioimaging
Nils Friederich, Philip Kohle, Maximilian Beichter +11
Promptable segmentation models turn one 3D bounding box into an instance mask. Box placement therefore limits how fast microscopy volumes with thousands of objects are annotated. E…
DigiT4TAF -- Bridging Physical and Digital Worlds for Future Transportation Systems
Maximilian Zipfl, Pascal Zwick, Patrick Schulz +22
In the future, mobility will be strongly shaped by the increasing use of digitalization. Not only will individual road users be highly interconnected, but also the road and associa…
LeDiFlow: Learned Distribution-guided Flow Matching to Accelerate Image Generation
Pascal Zwick, Nils Friederich, Maximilian Beichter +3
Enhancing the efficiency of high-quality image generation using Diffusion Models (DMs) is a significant challenge due to the iterative nature of the process. Flow Matching (FM) is…
Understanding Counterexamples for Relational Properties with DIbugger
Mihai Herda, Michael Kirsten, Etienne Brunner +6
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially…