Ao longo dos últimos anos, tem-se utilizado cada vez mais câmeras no monitoramento de grandes cidades. Se, por um lado, as câmeras de vigilância proporcionam uma grande quantidade de dados visuais, por outro, a análise desses dados torna-se um grande desafio quando feita manualmente. Desta maneira, o processamento automático desses

O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar

As doenças infecciosas vêm tendo sua importância recolocada no cenário epidemiológico brasileiro, com as epidemias de dengue, de leptospirose, a recorrência da tuberculose, entre outras. Além disso, as doenças ditas (re)emergentes e sua rápida disseminação estão colocando novos desafios para os sistemas de saúde, particularmente quanto à forma de conduzir

O objetivo dessa proposta é de concluir e aprimorar o software de código aberto para a captura de movimento, o OpenMoCap, testá-lo e aplicá-lo, na animação de personagens, e disponibilizá-lo em um portal, que servirá como um multiplicador do software. Para a etapa de testes, estão em curso colaborações com

O objetivo desse projeto é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes, e problemas de otimização envolvendo redes ópticas e redes sem fio ou, mais especificamente, redes

A area de agentes inteligentes tem recebido muita atenção nos ultimos anos. Basicamente, um agente e uma entidade que percebe o ambiente a sua volta utilizando seus sensores e age nesse ambiente através dos atuadores. Esse paradigma aplica-se tanto a ambientes reais, como é o caso dos agentes robóticos, quanto a ambientes completamente virtuais,

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Estabelecimento de um programa de cooperação e intercâmbio científico entre a JABIL e o DCC/UFMG abrangendo atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos, geração, absorção, e transferência de tecnologias e prestação de serviços tecnológicos na área de informática e automação. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:

A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento