Abstract

Biological image analysis is full of discrete decisions: whether an object is present, which of several overlapping detections is real, whether two detections match across time, and whether a cell divides. Standard pipelines resolve them locally with non-max suppression, thresholding, or greedy linking, committing before all image and temporal evidence is in. We recast such problems as discrete inverse rendering: candidate renderings are generated then jointly selected to reconstruct the movie subject to temporal and biological constraints, solved to certified optimality with a modern integer-programming solver. The same formulation covers suppression of overlapping detections, selection of a structure as a path, and event-structured tracking with birth, death, and division. Applied to C. elegans splines, sperm flagella, and dividing cells, the method matches specialised state-of-the-art pipelines across three imaging modalities on a single objective, with the largest gains where per-frame segmentation is unreliable (on a low-signal fluorescence movie of Huh7 hepatoma cells, detection F1 doubles from 0.31 to 0.58).