K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
This work presents a discriminative training method for
particle filters in the context of multi-object tracking. We
are motivated by the difficulty of hand-tuning the many
mode...
Recent work has shown tracking groups of lines through the parameter space represented by a Hough accumulator array to be efficient and insensitive to both occlusion and changes i...
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 extends previous work on the Skewing algorithm, a promising approach that allows greedy decision tree induction algorithms to handle problematic functions such as parit...