Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Sistemas de Middleware Orientados por Aspectos para Implementação de Requisitos Não-Funcionais
Neste projeto de pesquisa, pretende-se especificar, projetar, implementar e analisar sistemas de middleware que viabilizem a implementação de forma modular de requisitos não-funcionais que são típicos de aplicações distribuídas. A idéia é que um desenvolvedor de aplicações distribuídas possa dispor de sistemas de middleware que confinem em módulos bem definidos
Combinação de Descritores de Características para Análise de Vídeos Contendo Humanos
O entendimento de atividades desempenhadas por humanos em vídeos apresenta grande interesse da comunidade de visão computacional. Para que se obtenha uma interpretação mais acurada deve-se, inicialmente, executar tarefas como detecção, modelagem de aparência, rastreamento de pedestres e reconhecimento de ações individuais. A combinação de descritores de características analisados pela
Combinação de Evidencias baseada em Programação Genética para Problemas de Recuperação de Informação e Casamento Inexato
O presenteprojeto tem como objetivo o desenvolvimento de um framework para recuperação de imagens que opera a partir da combinação de descritores de conteúdo (cor, textura e forma) e de múltiplas evidencias textuais. Nossa motivação é contribuir com o desenvolvimento de mecanismos de busca capazes de representar de uma maneira mais ?dedigna as
HP- Improving Introductory Computer Science Course through the Use of Tablet PC
This project aims at using the Tablet PC for teaching Algorithms and Data Structures II, a basic Computer Science course, mandatory to students majoring in 5 areas, namely Computer Science, Computational Mathematics, Information Science, Electrical Engineering, and Automation Control, and optional to students majoring in a few other areas. The
Algoritmos para a resolução de problemas de otimização combinatória em Telecomunicações, Logística e Teoria dos Jogos
Neste projeto, propomos a investigação de cinco problemas de otimização combinatória que surgem no contexto de aplicações em Telecomunicações, Logística e em suas conexões com Teoria dos Jogos. São eles: O Problema das Árvores Geradoras Completamente Independentes, O Problema do Ciclo Elementar de Custo Mínimo de um Grafo, O Problema
SISTEMAS COMPUTACIONAIS PARA REDES DE SENSORES AQUÁTICAS
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
Verificação Automática de Sistemas Computacionais de Complexidade Industrial
O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este
INCTWeb: Instituto Nacional de Ciência e Tecnologia para a Web
Dada a escala exponencial de crescimento da Web, o surgimento de novas aplicações e serviços está limitado por aspectos de infra-estrutura de software e hardware. Portanto, o estudo dos diversos aspectos que envolvem a Web extrapola as atividades tradicionais de geração de conteúdo e criação de novos serviços, demandando o
