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

O presente projeto tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para coordenação de grandes grupos (tipicamente contendo dezenas ou mesmo milhares) de robôs. Esses arranjos têm sido denominados na literatura internacional por swarms, e que neste texto será traduzido por “enxames”. A coordenação de grupos

Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até

This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1  

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

O objetivo desta pesquisa é desenvolver um protótipo de hardware e software embutido para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáti- cas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado

O objetivo principal deste projeto é caracterizar o tráfego gerado por usuários de aplicações de armazanamento de dados de nuvem. Mais precisamente, busca-se comparar perfis de usuários de diferentes regiões (Europa e Brasil) bem como de usuários em ambientes acadêmicos e em ambientes comerciais. A análise irá considerar, também, usuários

Devido à existência de um grande volume de dados obtidos a partir de câmeras de vigilância, o entendimento e a interpretação automática de atividades desempenhadas por humanos em vídeos apresenta grande interesse de modo a auxiliar a tarefa de agentes de segurança. O monitoramento automático de ambientes vigiados possibilitará o

O crescimento exponencial na criação e acúmulo de dados não escapou ao vídeo digital. A maioria da produção profissional de vídeo já se faz em formato digital, o que implica a necessidade de gerir, preservar e prover acesso a um volume de dados que desafia o estado-da-arte tecnológico. Além dessa