This book is an applied introduction to the problems and solutions of modern computer vision. It offers a collection of selected, well-tested methods (theory and algorithms), aiming to balance difficulty and applicability. It can be considered a starting point to…

Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of intelligent mobile agents is presented. It integrates both…

In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the…

In a general context we introduce image processing with 1-dimensional wavelets and show the diferences with nonseparable 2-dimensional wavelets having quincunx decimation, in the first place, and with balanced nonseparable 2-dimensional multiwavelets, in the second place. All of them are…

The book intends to address the important aspects of high-performance signal processing with a focus on the recent development of VLSI technology for signal processing.
The editors collect much of all the research efforts and findings that have made high…

In this paper we show an algorithm for dynamic reconfiguration of distributed applications based on the mobile agent model. We also show that the proposed algorithm can be easily implemented in the IPL language, a language with several abstractions for…

Requirements Engineering is the key issue for the development of Software Systems, that meet the expectations of their customers and users, are delivered on time, and are developed within budget.
This book intends to provide the state of the art…

This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and considering features of recent…

In this paper, a method for representing scalar functions on volumes is presented. The method is based on wavelets and it can be used for representing volumetric data (geometric or scalar) defifined on non structured grids. The basic contribution is…