Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

O projeto da rede corporativa de uma empresa requer que sejam bem conhecidas as características, necessidades e tendências de evolução do seu ambiente de informática, as tecnologias e tipos de equipamentos de rede disponíveis no mercado e como tais tecnologias…

Este trabalho apresenta uma ferramenta de autoria para ambientes educacionais altamente interativos baseados na crença de que o aprendiz constrói seu conhecimento quando se torna um agente ativo do seu processo de aprendizado. Estes ambientes possuem como paradigma os “adventure…

The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper.
We explore the…

Este artigo tem por objetivo apresentar parte do estudo realizado sobre sintonia de performance de banco de dados que consiste em levantar e propor um conjunto de regras que melhore o desempenho de aplicações de banco de dados. São apresentadas…

The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…

El objetivo central de esta línea de investigación consiste en proponer distintas metodologías formales para representar el conocimiento en diversos sistemas argumentativos.
Como todo sistema simbólico, los sistemas argumentativos emulan el proceso de razonamiento como una manipulación dediversos símbolos. Esto…

El análisis de imágenes puede revelar información útil para los usuarios El significativo aumento del uso de imágenes en diferentes campos de la ciencia, medicina, negocios, etc., requiere de mayor poder de procesamiento.
Con el avance en la adquisición de…

Decision tree learning algorithms have been successfully used in knowledge discovery. They use induction in order to provide an appropriate classification of objects in terms of their attributes, inferring decision tree rules. This paper reports on the use of ID3…

Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…