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.  

Desenvolver metodologias de gestão do risco para o agronegócio brasileiro sob uma perspectiva estatístico-atuarial e econômica, baseadas na geração de estratégias de seguro eficientes para o setor. Integrantes: Renato Martins Assunção – Coordenador / Edna A Reis – Integrante / Marcelo A Costa – Integrante / Ramiro R Cardenas –

Este projeto, inserido nas áreas de Processamento de Imagens e Visão Computacional, tem como foco principal a investigação e o aprimoramento de técnicas de análise de imagens digitais em múltiplas resoluções utilizando descritores de textura, cor e forma dos objetos presentes nas imagens. O processo de análise baseia-se na dependência

Os principais objetivos e metas a serem alcançados nesse projeto incluem: 1) Desenvolvimento de novas técnicas baseadas em aprendizado para a recomendação personalizada de tags 2) Desenvolvimento de novas técnicas baseadas em aprendizado para a recomendação de tags que explorem a similaridade de conteúdo em objetos multimídia na Web 2.0

O objetivo desta proposta é o projeto e o desenvolvimento de aplicações-protótipos e infraestrutura de tecnologia de informação e comunicação (TIC) visando melhorar a qualidade de vida de moradores de áreas rurais em países emergentes da língua portuguesa. Estas aplicações serão projetadas, tendo como restrições as estruturas ainda precárias de

Este projeto apresenta a pesquisa que tem sido desenvolvida na área de IHC no DCC fundamentada na teoria da engenharia semiótica e atua no esforço de consolidação e revisão tanto da teoria, quanto de modelos e métodos fundamentados nesta. Especificamente o projeto investiga a aplicação da engenharia semiótica e seus

Esse projeto de pesquisa concentrou-se na investigação e desenvolvimento de técnicas para execução do planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Basicamente, trabalhou-se em duas linhas principais: na primeira foram desenvolvidos e aperfeiçoados algoritmos de controle descentralizados para permitir que grupos de

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é

Este projeto pretende abordar o problema de oferecer a aplicações distribuídas um ambiente de execução que não se transforme em um impecilho na busca do melhor desempenho possível. Para atingir esse objetivo pretendemos focar os problemas de desenvolvimento de frameworks que simplifiquem o trabalho de desenvolvimento de aplicações paralelas não