Registration of CT and PET thoracic images has to cope with deformations of the lungs during breathing. Possible tumors in the lungs usually do not follow the same deformations, an...
Antonio Moreno-Ingelmo, Gaspar Delso, Oscar Camara...
Abstract. This paper presents a novel approach towards detecting intrinsically two-dimensional (i2D) image structures using local phase information. The local phase of the i2D stru...
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Delivering linguistic resources and easy-to-use methods to a broad public in the humanities is a challenging task. On the one hand users rightly demand easy to use interfaces but ...
The problem of maximizing a concave function f(x) in a simplex S can be solved approximately by a simple greedy algorithm. For given k, the algorithm can find a point x(k) on a k-...