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.
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
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
Escalabilidade e Eficiência em Sistemas de Computação: Mineração de dados de aplicações Internet
Este projeto de pesquisa versa sobre a construção de sistemas de mineração de dados escaláveis e eficientes. A escolha da aplicação mineração de dados (e ferramentas de inteligência em geral). Em particular, o projeto ataca três grupos de desafios de pesquisa em Ciência da Computação: extração automatizada de conhecimento de
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
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
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é
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
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
