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…

Video compression is one of the topics included in the area of images digital processing. The book gives an introduction to algorithms and architectures used in standard video and audio compression

The Student’s Guide to VHDL teaches the fundamental modeling features of VHDL, showing how the features are used for the design of digital systems. It is organized so that it can be read linearly from front to back, as a…

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…