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

 A crescente geração de dados nos Projetos Genoma e em outras iniciativas que estão gerando dados em escalas nunca antes experimentadas, juntamente com a necessidade de se produzir informação a partir dessa enorme massa de dados, vêm demandando o desenvolvimento de novos modelos e algoritmos. Essa perspectiva de aquisição de

This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf

O ambiente AntHill tem por objetivo prover suporte para a paralelização escalável e eficiente de algoritmos paralelos. Esta escalabilidade e eficiência resultam da possibilidade de se explorar três tipos de paralelismo: tarefas, dados e assincronia. O ambiente está operacional e tem sido usado para paralelizar diversos tipos de aplicações. Alunos

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

O Laboratório de Robótica e Visão Computacional (VeRLab) do DCC/UFMG tem desenvolvido diversos projetos de pesquisa com o apoio do CNPq e Fapemig. Entre eles, podem-se mencionar projetos na área de cooperação entre múltiplos robôs, planejamento e controle de trajetórias para enxames de robôs, reconstrução de ambientes tridimensionais, entre outros.

Implantação de um sistema de informação multimídia para documentos (fotografias, cartas, textos, slides, entrevistas voz) da tecnologia nuclear. Digitalização dos documentos e divulgação eletrônica da base de dados.  Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Arnaldo de

Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever

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