Abstract
This paper addresses the foundations of data-model trans formation. A catalog of data mappings is presented which includes abstraction and representation relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into "flat" database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidirectional tenses developed in the context of the classical view-update problem.

Abstract
This paper propose a real-time vision framework for mobile robotics and describes the current implementation. The pipeline structure further reduces latency and allows a paralleled hardware implementation. A dedicated hardware vision sensor was developed in order to take advantage of the proposed architecture. The real-time characteristics and hardware partial implementation, coupled with low energy consumption address typical autonomous systems applications. A characterization of the implemented system in the Robocup scenario, during competition matches, is presented.

Abstract

Abstract
This paper enhances cost efficiency measurement methods to account for situations where the input prices can depend on negotiation or tend to qualitatively differentiate the resources available at each decision making unit. In these circumstances, there are some shortcomings in the cost efficiency measure described in the data envelopment analysis (DEA) literature. This paper proposes new models and measures for cost efficiency evaluation that overcome the limitations of the existing DEA models. The applicability of the measures developed is illustrated in the context of the analysis of bank branch performance.

Abstract
A smart house is usually described as an interactive house where information and communications technology is used to support the daily tasks of its inhabitants. One of the important components of a family house context is the food storeroom or pantry. In a fully smart house, the pantry should also be supported by information technologies, as it happens with the others components of the house. By other means, in a fully smart house, the pantry should be smart too. In this paper we present an UML specification for a smart pantry management system. We also discuss all the process that was followed to identify the system requirements, to build the systems models and to create the system prototype. As final remarks we present some guidelines for the future development of a complete smart pantry system. © 2008 IADIS.

Abstract
The following addresses the control of an Autonomous Surface Vehicle (ASV) to follow the trajectory made by an Autonomous Underwater Vehicle (AUV) when the last is performing any given pre-programmed mission. In fact, it has been proved to be of great interest to have an ASV that could follow on the surface and even catch up the trajectory performed by the AUV, when executing a given mission. In order to achieve this desired coordinated motion between AUV and ASV, it would make sense just to program each of the vehicles with the same mission. However, due to the nature of vehicles, missions and also due to the localization system used, with this kind of solution some problems would arise, namely related with timings and synchronization, which are indeed difficult to overcome. The solution proposed here tries to estimate the AUV position, by tapping the signals exchanged between the former and each of the beacons of the acoustic localization network, and control and actuate the ASV in accordance.