In several applications, the trajectory of an entity, a feature or an object has to be tracked over a sequence of image frames. When the processing is to be performed in real time, there are important constraints leading to the…

Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in…

In this paper we present two basic modules whithin the designed scheme for retrieving images of a database from the object colour and shape in the scenes. On the one hand, we desing a new method to detect edges in…

In this paper two images compression techniques with loss based on the method used by the compression Standard Joint Photographic Experts Groups (JPEG) and on the Quadtree
adaptive partitioning method are presented and compared, and the loss produced studied. The…

The development of parallel algorithms for an automatic recognition and classification of objects from an industrial line (either production or packaging) is presented. This kind of problem introduces a temporal restriction on images processing, a parallel resolution being therefore required.…

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that the wp-calculus provides…

Fast response, storage efficiency, fault tolerance and graceful degradation in face of scarce or spurious inputs make neural networks appropiate tools for Intelligent Computer Systems. But on the other hand, learning algorithms for neural networks involve CPU intensive processing and…

This thesis examines the claims of Jeffrey Timm and James Buchanan that the field of Comparative Philosophy is moving in a postmodern direction. I examine their conception of the postmodern and compare to both the most influential views of postmodernism…

El objetivo de esta tesis es el estudio de algunos problemas diofánticos. Unos relacionados con ternas pitagóricas, y otros con funciones aritméticas.
En concreto se empieza, en el capítulo 1, por dos breves notas históricas sobre la aritmética de Diofanto…

El objetivo principal de esta tesis doctoral es la fundamentación de técnicas de simulación y modelos hidrodinámicos adecuados para la simulación de fluidos simples y complejos a escala mesoscópica. El problema general de los fluidos complejos, desde el punto de…