Abstract
This paper introduces a fast Traffic Sign Recognition system developed for a robot, participant in the Autonomous Driving Competition in the Portuguese Festival of Robotics. The Autonomous Driving Robot performs detection and classification of traffic signs and traffic lights based on the analysis of images acquired by a camera mounted on its chassis. The proposed algorithm is composed of three processing stages: detection, pictogram extraction and classification. After the two firsts processing stages, a binary pattern matrix is obtained by color segmentation. In the classification stage two different neural networks were trained to recognize the traffic signs or the traffic light sign. Experimental results show that the system precision is very close to 100% whereas recall presents values above 90% in most of the signs. The proposed system also proves to be reliable and suitable for real-time processing.

Abstract

Abstract
With the growing popularity of micro-task crowdsourcing platforms, a renewed interest in the resolution of complex tasks that require the cooperation of human and machine participants has emerged. This interest has led to workflow approaches that present new challenges at different dimensions of the human-machine computation process, namely in micro-task specification and human-computer interaction due to the unstructured nature of micro-tasks in terms of domain representation. In this sense, a semi-automatic generation environment for human-computer micro-task workflows from domain ontologies is proposed. The structure and semantics of the domain ontology provides a common ground for understanding and enhances human-computer cooperation.

Abstract
The growing influx of patients in healthcare providers is the result of an aging population and emerging self-consciousness about health. In order to guarantee the welfare of all the healthcare stakeholders, it is mandatory to implement methodologies that optimize the healthcare providers' efficiency while increasing patient throughput and reducing patient's total waiting time. This paper presents a case study of a conventional radiology workflow analysis in a Portuguese healthcare provider. Modeling tools were applied to define the existing workflow. Re-engineered workflows were analyzed using the developed simulation tool. The integration of modeling and simulation tools allowed the identification of system bottlenecks. The new workflow of an imaging department entails a reduction of 41 % of the total completion time.

Abstract
The classification of retinal vessels into artery/vein (A/V) is an important phase for automating the detection of vascular changes, and for the calculation of characteristic signs associated with several systemic diseases such as diabetes, hypertension, and other cardiovascular conditions. This paper presents an automatic approach for A/V classification based on the analysis of a graph extracted from the retinal vasculature. The proposed method classifies the entire vascular tree deciding on the type of each intersection point (graph nodes) and assigning one of two labels to each vessel segment (graph links). Final classification of a vessel segment as A/V is performed through the combination of the graph-based labeling results with a set of intensity features. The results of this proposed method are compared with manual labeling for three public databases. Accuracy values of 88.3%, 87.4%, and 89.8% are obtained for the images of the INSPIREAVR, DRIVE, and VICAVR databases, respectively. These results demonstrate that our method outperforms recent approaches for A/V classification.

Abstract
Bidirectional transformation (BX) is a very active area of research interest. There is not only a growing body of theory, but also a rich set of tools supporting BX. The problem now arises that there is no commonly agreed-upon suite of tests or benchmarks that shows either the conformance of tools to theory, or the performance of tools in particular BX scenarios. This paper sets out to improve the state of affairs in this respect, by proposing a template and a set of required criteria for benchmark descriptions, as well as guidelines for the artifacts that should be provided for each included test. As a proof of concept, the paper additionally provides a detailed description of one concrete benchmark.