vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
A novel active contour model named Variable Background Active Contour model is proposed and applied for the detection of thyroid nodules in ultrasound images. The new model offers ...
Michalis A. Savelonas, Dimitrios E. Maroulis, Dimi...
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
- This paper presents two laser scanner based approaches to locate and pick-up pallets with the aim of automating forklift trucks. In contrast to camera based systems our approache...