Abstract. Laser photocoagulation is a proven procedure to treat various pathologies of the retina. Challenges such as motion compensation, correct energy dosage, and avoiding incid...
This paper is concerned with the problem of predicting relative performance of classification algorithms. It focusses on methods that use results on small samples and discusses th...
This paper describes a technique to represent relevant information of tree-like structures in a compact way. The technique is general. In the application described here, the image...
This paper presents a non-rigid registration method for the restoration of double-sided historical manuscripts. Firstly, the gradient direction maps of the two images of a manuscr...
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...