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

Algoritmos para Problemas de Roteamento com Restrições de Carregamento

Otimização Combinatória é uma das linhas de pesquisa da Ciência da Computação onde se concentram grandes desafios em termos de algoritmos para solucionar problemas clássicos de elevada complexidade computacional. Neste projeto propomos estudar problemas de otimização em transporte que considerem explicitamente em sua formulação a existência de restrições de carga/descarga.

Saiba mais »

Profiling And Specialization For Locality

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

Saiba mais »

Análise de Imagens Baseada em Descritores Texturais

Classificação é o processo de extração de informação em imagens para reconhecer padrões ou objetos homogêneos que são utilizados para identificar regiões correspondendo a temas de interesse. O objetivo é obter uma descrição que contém informação suficiente para distinguir diferentes objetos. Normalmente, o processo de reconhecimento é baseado em níveis

Saiba mais »

Robótica e Visão Comptacional: Modelos, Algoritmos e Aplicações

Entre as prioridades da nossa pesquisa em Robótica, estão problemas paradgmáticos da cooperação entre agentes móveis e estáticos (i.e. redes de sensores sem fio terrestre e robôs aéreos) e a localização e o mapeamento em ambientes externos. Por serem intrinsecamente não estruturados, tais ambientes demandam abordagens que possam lidar com

Saiba mais »

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 »

Análise e Modelagem de Redes Complexas na Web

O foco deste projeto situa-se na análise e modelagem de redes complexas na Web.  Existem na Web múltiplas camadas interdependentes de redes de relacionamentos  complexos e dinâmicos, as quais permitem que fluxo e a disseminação de informação ocorram em larga escala. As redes da Web podem ser vista de diferentes

Saiba mais »

Sistemas de Middleware Orientados por Aspectos

Este projeto tem como objetivo central o desenvolvimento de sistemas de middleware que sejam menos monolíticos e invasivos e mais modulares e abertos a configurações, extensões, personalizações e manutenções.  Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Marco

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo