Buscar recursos académicos

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

This paper describes a new classification method (DER) based on evidential reasoning to which a series of modifications are added [1]. DER allows including new evidence for the classification process and defines a differ...

The article proposes a re-reading (confessed to be interested and ironic) of the well-known explanations rendered by Malinowski in the opening chapter of the Argonauts of the Western Pacific. In this text, Malinowski exp...

The cervical cancer screening programs (CCSP) have not beenvery efficient in the developing countries. This explains the needto foster changes on policies, standards, quality control mechanisms,evaluation and integration...

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning ap...