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.…

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…

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…