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.  

O projeto se propôs a desenvolver uma metodologia para a descoberta de usuários influentes em redes sociais online. Usuários influentes sao formadores de opinião, de forma positiva ou negativa, em relacao à algum tema, por exemplo um produto ou candidato.

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 presente trabalho tem como objetivo analisar alguns aspectos do desempenho acadêmico em alunos cotistas e não cotistas, considerando todas as disciplinas cursadas nos anos de 2004 e 2005 das primeiras e segundas séries de todos os cursos da UEMS. O referido período e as séries foram considerados por abranger

O objetivo deste projeto é desenvolver técnicas de otimização de código que modifiquem programas CUDA automaticamente, para mitigar o custo de divergências na execução de aplicações paralelas. Alunos envolvidos: Graduação: (1) . Integrantes: Fernando Magno Quintão Pereira – Coordenador / Fernando Carvalho Coelho – Integrante.   

Cooperação e intercâmbio através das atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos e prestação de serviços cooperativos propostos por ambas as partes. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) . Integrantes: Antonio Otavio Fernandes – Coordenador / Claudionor José Nunes Coelho Jr – Integrante / José

O crescimento exponencial na criação e acúmulo de dados não escapou ao vídeo digital. A maioria da produção profissional de vídeo já se faz em formato digital, o que implica a necessidade de gerir, preservar e prover acesso a um volume de dados que desafia o estado-da-arte tecnológico. Além dessa

O entendimento de atividades desempenhadas por humanos em vídeos apresenta grande interesse da comunidade de visão computacional. Para que se obtenha uma interpretação mais acurada deve-se, inicialmente, executar tarefas como detecção, modelagem de aparência, rastreamento de pedestres e reconhecimento de ações individuais. A combinação de descritores de características analisados pela

O projeto de pesquisa propõe o desenvolvimento de um modelo de distribuição de câmeras e sensores de baixo custo, com aquisição, processamento, identificação e mineração de dados de vídeo para fiscalização eletrônica, monitoramento automático, descoberta de padrões e otimização do fluxo de veículos em metrópoles. Propomos estudar todo o processo