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é
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
Projeto e Desenvolvimento de um Portal de Tecnologia Industrial Básica para o CEFET-MG
A Construção de um Portal de Tecnologia Industrial Básica no CEFET MG – Portal TIB_CEFET MG integra um conjunto de projetos independentes, mas articulados em um projeto denominado Portal de Tecnologia Industrial Básica CEFET MG TIB_CEFETMG, que foi pensado e articulado para ser desenvolvido dentro do Programa institucional de Bolsas
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
Avaliação Sensível a Características de Técnicas para Desenvolvimento de Linha de Produtos de Software
Algumas manifestações de características são consideradas indícios de problemas para a evolução de uma Linha de Produtos de Software (LPS) como, por exemplo, por levarem a um número excessivo de falhas e instabilidade dos produtos. Por outro lado, inúmeras técnicas de desenvolvimento têm sido propostas com o objetivo de separar
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
Impacto do Comportamento de Usuários na Qualidade de Serviços da Web 2.0
Este projeto visa caracterizar e modelar diferentes fontes de evidencia sobre o comportamento dos usuarios de serviços da Web 2.0 visando entender como os diferentes padrões podem afetar a qualidade, eficiência e eficácia destes serviços. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (2) . Integrantes: Jussara Marques
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.
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
