Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Plataforma Arouca
Desenvolvimento, implantação e Moddle 2.0 IS. Estudo de arquitetura de informação, requisitos e políticas de seguranca de acesso para implantação da Plataforma Arouca. Integrantes: Renato Antonio Celso Ferreira – Integrante / Osvaldo Carvalho – Coordenador.
Distribuição de Vídeo em Larga Escala sobre Redes Giga, com Aplicações a Educação
Os grandes objetivos deste projeto são: projeto, implementação e experimentação com um sistema de distribuição de mídia contínua em larga escala em redes de alta velocidade (redes giga) – implementação de um ambiente de vídeo-conferência entre os participantes do projeto . Alunos envolvidos: Graduação: (2) / Especialização: (0) /
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
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.
Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos
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
ROVAEX-II Robótica e Visão Computacional em Ambientes Externos – II
O propósito deste projeto é dar continuidade à pesquisa nas áreas de Robótica e Visão Computacional com o apoio de recursos do presente edital FAPEMIG 03/2010 — Programa Pesquisador Mineiro — PPM IV. Em particular, serão investigados problemas relacionados à inserção de robôs autônomos e semi-autônomos em ambientes externos, isto
Suporte de sistemas a aplicações amplamente distribuídas
O objetivo do trabalho é desenvolver, no aluno bolsista, habilidades necessárias para compreender o problema de organização autônoma de sistemas distribuídos complexos. Ao aplicar técnicas de monitoração e análise de dados, para construir modelos eficazes de sistemas complexos e realizar a avaliação de soluções propostas no ambiente alvo, em termos
Algoritmos,Otimização e Aplicações
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
Monitoramento Automático Aplicado a Grandes Competições Esportivas
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
Medindo e Modelando Humor Expresso em Opiniões Públicas em Microblogs
Redes sociais online têm atraído milhões de usuários e é atualmente a atividade online mais popular na Internet. Em particular, o Twitter vem constantemente crescendo como um importante sistema onde usuários discutem sobre tudo, expressando opiniões, visão política, orientação sexual e até mesmo conceitos vagos como humor e felicidade. Devido
