Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

Projeto de cooperação internacional entre DCC/UFMG, PUC-Minas, IC/UNICAMP, INRIA/IRISA Rennes, UPMC Paris 6, Universidad de Chile e ORAND Chile. A mineração não-supervisionada de conteúdo multimídia tem por objetivo a detecção de padrões em dados multimídia compreendendo vídeo e voz, área esta que apesar das inúmeras aplicações não tem despertado o

O objetivo deste projeto é o estudo e o desenvolvimento de metáforas e tecnologias de visualização capazes de representar o volume e a alta dimensionalidade de dados de Bioinformática, evidenciando os padrões neles presentes e sua evolução, facilitando a compreensão da informação apresentada. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:

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

Devido ao grande número de pessoas presentes em instalações esportivas que sediam competições com grandes públicos, como estádios ou ginásios, há vários problemas difíceis de serem tratados de uma forma eficiente quando todo o processo de análise é efetuado de forma manual, tais como a detecção de conflitos ocorrendo nas

Este projeto tem como objetivo propor um framework para fusão de dados em redes de sensores sem fio; projetar, implementar e avaliar técnicas de fusão de dados usando uma plataforma real. A fusão de dados possui pelo menos dois fatores que tornam importante a sua utilização em RSSFs. O primeiro

O objetivo principal desse projeto de pesquisa é investigar e desenvolver técnicas que permitam realizar o planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Uma das linhas a ser investigada é a representação de grupos de robôs através de abstrações, ou seja, através

O objetivo geral deste projeto é investigar a predição de esforço de manutenção de softwares orientados por objetos tendo como premissa que o grau de conectividade é o fator que pode ser usado para tal predição. Conectividade é o grau de intercomunicação entre os módulos de um sistema. Dentre os

O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação.  Integrantes: Luiz