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…

To find a good termination criterion for genetic algorithms is a difficult and frequently ignored task. In most instances the practitioner stops the algorittm after a predefined number of generations or function evaluations. How this number is established? This stop…

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 aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

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 development of isolated agents involves the manipulation of components such as actions, mental attitudes and decisions. Multi-agent systems have to deal with these components from different agents, without to forget the privacy and autonomy of each agent. For programming…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…