Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Verificação Híbrida de Modelos: Ferramentas e Aplicações

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é

Saiba mais »

Coordenação de Grandes Grupos de Robôs

O objetivo deste projeto consistiu em estudar, desenvolver e avaliar algoritmos para a coordenação de grandes grupos de robôs, normalmente chamados de enxames de robôs ou swarms. Como mencionado no projeto, embora a coordenação de pequenos grupos de robôs tenha sido razoavelmente estudada na literatura nos últimos anos, a coordenação

Saiba mais »

Credibilidade em Serviços da Web

Este projeto de pesquisa versa sobre a credibilidade em serviços da Web. Cabe ressaltar que o que motivou a escolha do tema foi o grau de importância que este tem para a sociedade hoje e a vastidão de desafios e questões de pesquisa que surgem desse tema de investigação. Também

Saiba mais »

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

Saiba mais »

Vídeo Capture

Construção automática de ambientes virtuais realísticos com aplicações em robótica cooperativa. Utilização de um domo de câmeras para captura de imagens e movimento, reconstrução 3D, localização, etc. Integrantes: Luiz Chaimowicz – Integrante / Mário Fernando Montenegro Campos – Integrante / Rodrigo Carceroni – Coordenador.  

Saiba mais »

Dynamic Analysis for Software (Re-)Architecturing

O objetivo deste projeto é contribuir para reduzir o gap que normalmente observamos entre a arquitetura e o comportamento dinâmico de sistemas de software. Em particular, nosso foco é em uma visão que procure associar a arquitetura de um sistema com as features que são implementadas no código fonte.  Integrantes: Marco

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo