O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

This industrial research project will develop the technology that is needed to allow end-users to collaborate in order to identify the origin and cause of Internet service degradation. The main differentiating assumptions we make in this project are that (i) ISPs do not cooperate together, and (ii) we cannot rely

O projeto SIMVIDA pretende desenvolver e implementar um sistema de vigilância epidemiológica para dados de acidentes de trânsito e de violência para uso rotineiro em instituições de saúde pública que tenham referência geográfica e temporal. Os objetivos específicos são os seguintes: (1) Desenvolver métodos epidemiológicos para vigilância espaço-temporal de agravos

Objetivo principal do projeto é investigar, desenvolver e avaliar algoritmos e interfaces para o controle e a coordenação de enxames de robôs em diferentes tipos de tarefas. Enxames de Robôs (do inglês robotic swarms) são grupos compostos por um grande número de robôs mais simples, que individualmente não possuem muita

(1) Uma vez que uma rede social é construída, a mesma pode ser analisada para descoberta de conhecimento, o qual pode, e deve, ser disseminado entre os componentes dessa rede. (2) As abordagens atuais para disseminar e recomendar conteúdo na Web consideram um formato de consulta que é dependente do

A pesquisa aqui proposta neste projeto aplica a tecnologia de agentes para realizar a alocação de recursos por negociação em ambientes grid. Agentes têm a vantagem de agirem em nome de usuários e recursos e serem capazes de gerenciar tarefas em ambientes complexos e distribuídos, como é o caso dos

Historically, content distribution in the Internet has relied on a client-server model. This model has shaped all Internet legacy applications such as the web, electronic mail messaging, and FTP. For the past ten years, we have seen content distribution solutions that have evolved from classical client-server models, through distributed caching,

Neste projeto iremos focar no problema de Publicidade Direcionada baseada em Conteúdo (PDC) na Web. É assumido que temos acesso a um número de evidências textuais (e.g., texto da página Web e da propaganda, a campanha publicitária ao qual a propaganda pertence, palavras-chave disponíveis para descrever o conteúdo da propaganda)