The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
An algorithm for online distance computation based on images taken in a sewer by a robot-inspector is presented. Modern concrete sewers are made of standard cylindrical pipes sepa...
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
Ben Glocker, Nikos Komodakis, Nikos Paragios, Geor...
Diabetic retinopathy is a major cause of blindness and microaneurysms are the first clinically observable manifestations of diabetic retinopathy. Regular screening and timely int...
P. M. D. S. Pallawala, Wynne Hsu, Mong-Li Lee, Say...