The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but…

This paper describes a color texture-based image segmentation system. The color texture information is obtained via modeling with the Multispectral Simultaneous Auto Regressive (MSAR) random field model. The general color content characterized by ratios of sample color means is also…

Continuous IC process enhancements make possible to integrate on a single chip the re-sources required for simultaneously executing multiple control flows or threads, exploiting different levels of thread-level parallelism: application-, function-, and loop-level. Scalable simultaneous multi-threading combines static and dynamic…

En este trabajo presenta un caso en el que la supuesta equivalencia lógica entre las teorías de la preferencia por la liquidez y de los fondos prestables sobre la tasa de interés no se verifica: una economía monetaria de equilibrio…

The Library Linkage Project (PrEBi) has as main objective to share the bibliographic acervus resident in ISTEC Institutions, in order to satisfy the demand of Researchers, Teachers and Students. To manage the bibliography requirements (journal articles, book chapters, congress proceedings,…

Capital accumulation can modify the relative productivity between skilled and unskilled workers, thus leading to changes in the wage structure. In particular, if capital goods are relatively more complementary to skilled workers in the production function (skill-biased technologies), a positive…

The Web has became an obiquitous resource for distributed computing making it relevant to investigate new ways of providing efficient access to services available at dedicated sites. Efficiency is an ever-increasing demand which can be only satisfied with the development…

In this paper, an improvement of deformable template matching algorithm for polygonal objects in grayscale images using two-dimensional deformable templates along orthogonal curves is presented. In the process of pre-computing extensions of the deformable template along orthogonal curves, the novel…

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…

Facing the different approaches to process activation and global termination detection on distributed systems, this paper performs a practical comparison between the mainly opposed centralized and distributed models. Firstly, they were implemented to solve both the activation and termination detection…