Procedure Recognition by Knowledge-Driven Segmentation in Robotic-Assisted Vitreoretinal Surgery | IEEE Conference Publication | IEEE Xplore