O Laboratório de Robótica e Visão Computacional (VeRLab) do DCC/UFMG tem desenvolvido diversos projetos de pesquisa com o apoio do CNPq e Fapemig. Entre eles, podem-se mencionar projetos na área de cooperação entre múltiplos robôs, planejamento e controle de trajetórias para enxames de robôs, reconstrução de ambientes tridimensionais, entre outros.

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

O objetivo desse trabalho é o desenvolvimento de novos algoritmos e protocolos para Redes Sem Fio. Uma rede utiliza uma pilha de software para garantir a comunicação entre os nós da rede. Pretendemos estudar, criar e avaliar novos protocolos utilizando a técnica de Codificação em Rede e experimentar no mundo

O objetivo principal deste projeto é caracterizar o tráfego gerado por usuários de aplicações de armazanamento de dados de nuvem. Mais precisamente, busca-se comparar perfis de usuários de diferentes regiões (Europa e Brasil) bem como de usuários em ambientes acadêmicos e em ambientes comerciais. A análise irá considerar, também, usuários

Oprincipal objetivo desse projeto é utilizar um algoritmo evolucionário para gerar automaticamente um algoritmo de classificação baseado em Redes Bayesianas. O algoritmo será validado em três contextos: considerando bases de dados específicas, conjuntos de bases com características semelhantes e bases de dados genéricas. Além disso, estudaremos como melhorar a generalização

Neste projeto de pesquisa, investigamos o desenvolvimento de algoritmos baseados em Relaxação Lagrangeana para resolver com garantia de otimalidade alguns problemas difíceis de Otimização Combinatória. De especial interesse neste projeto é o estudo de como algoritmos nesta classe podem ser empregados como métodos de pré- processamento para algoritmos do tipo

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

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

Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços